| .. |
|
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
|
scheduling - time quantum in miliseconds
|
2010-05-25 08:06:14 +00:00 |
|
clock.h
|
scheduling - time quantum in miliseconds
|
2010-05-25 08:06:14 +00:00 |
|
config.h
|
Driver refactory for live update and crash recovery.
|
2010-04-08 13:41:35 +00:00 |
|
const.h
|
Fixed brackets in bitmap macros
|
2010-03-30 08:34:33 +00:00 |
|
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
|
kernel: print spurious interrupt message with increasing interval.
|
2010-05-08 17:21:37 +00:00 |
|
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: 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
|
remove intr_disabled() as interrupts are always disabled in the kernel now.
|
2010-04-26 15:32:42 +00:00 |
|
profile.h
|
cprofile not conditional
|
2009-01-09 21:44:52 +00:00 |
|
proto.h
|
Multiboot support (contributed by Feiran "Fam" Zheng);
|
2010-07-23 14:24:34 +00:00 |
|
start.c
|
kernel: oxpcie serial card support.
|
2010-05-19 10:00:02 +00:00 |
|
system.c
|
Scheduling parameters out of the kernel.
|
2010-07-13 15:30:17 +00:00 |
|
system.h
|
KCall methods do not depend on m_source and m_type fields
|
2010-06-01 08:54:31 +00:00 |
|
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
|
More endpoint_t correctness.
|
2010-06-08 14:09:18 +00:00 |
|
vm.h
|
No linear addresses in message delivery
|
2010-06-11 08:16:10 +00:00 |
|
watchdog.c
|
Remove useless symbol declarations from headers, make symbols local where possible, add some explicit initialization to global variables.
|
2010-04-22 07:49:40 +00:00 |
|
watchdog.h
|
Convert kernel over to bsdmake
|
2010-04-01 22:22:33 +00:00 |
