..
arch /i386
Kernel exports DSDP and apic_enabled in machine structure
2010-09-02 15:43:56 +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
Kernel supports up to 64 IRQs
2010-09-02 15:43:54 +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
Move MIN() and MAX() macros to sys/params.h
2010-08-21 13:10:41 +00:00
main.c
Zero out to three stack dwords to fix boot errors
2010-08-24 12:51:11 +00:00
Makefile
gcc compiles - add -fno-builtin so that gcc optimisations don't break things.
2010-08-31 16:42:44 +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
Fixed warning noreturn function returns in arch_system.c
2010-08-06 12:48:26 +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
2440ffae49