minix/kernel
Erik van der Kouwe df0ba02a38 Multiboot support (contributed by Feiran "Fam" Zheng);
keep in mind that GRUB needs to be patched to read MFS for now;
use /boot/image_latest to boot the last compiled image in GRUB
2010-07-23 14:24:34 +00:00
..
arch/i386 Multiboot support (contributed by Feiran "Fam" Zheng); 2010-07-23 14:24:34 +00:00
system kernel: fix case of EAX getting clobbered after sigreturn. 2010-07-20 17:10:09 +00:00
clock.c
clock.h
config.h
const.h
debug.c RS crash recovery support. 2010-07-06 22:05:21 +00:00
debug.h RS live update support. 2010-07-09 18:29:04 +00:00
extract-errno.sh Optional IPC logging 2010-06-24 13:31:40 +00:00
extract-mfield.sh Optional IPC logging 2010-06-24 13:31:40 +00:00
extract-mtype.sh Optional IPC logging 2010-06-24 13:31:40 +00:00
glo.h kernel - prettier output for ipc errors, call names instead of trap numbers 2010-07-16 15:36:29 +00:00
interrupt.c
ipc.h Set IPC status code only for RECEIVE 2010-04-26 14:43:59 +00:00
kernel.h Give RS a page table. 2010-06-28 21:53:37 +00:00
main.c kernel - prettier output for ipc errors, call names instead of trap numbers 2010-07-16 15:36:29 +00:00
Makefile Make kernel ipc log scripts work for separate ${.OBJDIR}. 2010-07-22 22:04:37 +00:00
perf.h Give RS a page table. 2010-06-28 22:07:49 +00:00
priv.h Dynamic configuration in system.conf for boot system services. 2010-07-13 21:11:44 +00:00
proc.c kernel: clear MF_CONTEXT_SET on kernel exit. 2010-07-20 17:13:44 +00:00
proc.h kernel: fix case of EAX getting clobbered after sigreturn. 2010-07-20 17:10:09 +00:00
profile.c
profile.h
proto.h Multiboot support (contributed by Feiran "Fam" Zheng); 2010-07-23 14:24:34 +00:00
start.c
system.c Scheduling parameters out of the kernel. 2010-07-13 15:30:17 +00:00
system.h
table.c Scheduling parameters out of the kernel. 2010-07-13 15:30:17 +00:00
type.h Scheduling parameters out of the kernel. 2010-07-13 15:30:17 +00:00
utility.c
vm.h No linear addresses in message delivery 2010-06-11 08:16:10 +00:00
watchdog.c
watchdog.h