Erik van der Kouwe 25397ef756 Deal all shutdown cases with multiboot as either reset or poweroff depending on their type (contributed by Feiran 'Fam' Zheng)		2010-08-02 14:41:45 +00:00
..
arch/i386	Deal all shutdown cases with multiboot as either reset or poweroff depending on their type (contributed by Feiran 'Fam' Zheng)	2010-08-02 14:41:45 +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
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: deadlock test with endpoints instead of slot numbers, slightly cleaner	2010-07-28 14:14:06 +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
watchdog.c
watchdog.h