l4ka-hazelnut/kernel/include/x86
stoess@i30s3.ibds.uka.de cc4849186b Initial revision 2009-05-18 09:21:37 +02:00
..
i586 Initial revision 2009-05-18 09:21:37 +02:00
i686 Initial revision 2009-05-18 09:21:37 +02:00
apic.h Initial revision 2009-05-18 09:21:37 +02:00
config.h Initial revision 2009-05-18 09:21:37 +02:00
cpu.h Initial revision 2009-05-18 09:21:37 +02:00
init.h Initial revision 2009-05-18 09:21:37 +02:00
io_mapping.h Initial revision 2009-05-18 09:21:37 +02:00
kdebug.h Initial revision 2009-05-18 09:21:37 +02:00
mapping.h Initial revision 2009-05-18 09:21:37 +02:00
memory.h Initial revision 2009-05-18 09:21:37 +02:00
mps-14.h Initial revision 2009-05-18 09:21:37 +02:00
notify.h Initial revision 2009-05-18 09:21:37 +02:00
smp.h Initial revision 2009-05-18 09:21:37 +02:00
space.h Initial revision 2009-05-18 09:21:37 +02:00
sync.h Initial revision 2009-05-18 09:21:37 +02:00
syscalls.h Initial revision 2009-05-18 09:21:37 +02:00
tcb.h Initial revision 2009-05-18 09:21:37 +02:00
thread.h Initial revision 2009-05-18 09:21:37 +02:00
tracebuffer.h Initial revision 2009-05-18 09:21:37 +02:00