Ben Gras be9fe09e97 x86 multiboot.h ... Change-Id: I245564a98fb9e2572b88f8feb7411ad6800a543c		2014-03-03 20:47:05 +01:00
..
archconst.h	ARM updates	2013-01-17 10:03:58 +01:00
archtypes.h	ARM updates	2013-01-17 10:03:58 +01:00
diskparm.h	ARM updates	2013-01-17 10:03:58 +01:00
elf.h	ARM updates	2013-01-17 10:03:58 +01:00
interrupt.h	arm:increase the amount of interrup vectors	2013-04-12 20:52:57 +02:00
ipcconst.h	Adding ipc_ prefix to ipc primitives	2014-03-01 09:05:01 +01:00
Makefile	ARM updates	2013-01-17 10:03:58 +01:00
memory.h	arm:switch to dynamic configuration for the kernel.	2013-12-17 11:32:38 +01:00
multiboot.h	x86 multiboot.h	2014-03-03 20:47:05 +01:00
partition.h	x86 hd image creator	2013-09-25 19:30:22 +02:00
stackframe.h	use netbsd <sys/signal.h> and sigset_t	2014-03-02 12:28:31 +01:00
vm.h	arm:make the MMU fetch pagetable data through the caches.	2013-09-26 11:54:36 +02:00