minix/kernel
2010-07-06 12:14:59 +00:00
..
arch/i386 include, kernel: minor fixes to make compiling and linking work with clang. 2010-07-06 11:59:19 +00:00
system include, kernel: minor fixes to make compiling and linking work with clang. 2010-07-06 11:59:19 +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 Optional IPC logging 2010-06-24 13:31:40 +00:00
debug.h Optional IPC logging 2010-06-24 13:31:40 +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 Lazy FPU 2010-06-07 07:43:17 +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: fix main prototype 2010-07-06 12:14:59 +00:00
Makefile include, kernel: minor fixes to make compiling and linking work with clang. 2010-07-06 11:59:19 +00:00
perf.h Give RS a page table. 2010-06-28 22:07:49 +00:00
priv.h User-space scheduling for system processes 2010-07-01 08:32:33 +00:00
proc.c MF_REPLY_PEND should be removed when sendrec finishes 2010-06-28 08:32:49 +00:00
proc.h FPU cleanup 2010-07-01 12:23:25 +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 kernel: fix main prototype 2010-07-06 12:14:59 +00:00
start.c kernel: oxpcie serial card support. 2010-05-19 10:00:02 +00:00
system.c include, kernel: minor fixes to make compiling and linking work with clang. 2010-07-06 11:59:19 +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 User-space scheduling for system processes 2010-07-01 08:32:33 +00:00
type.h scheduling - time quantum in miliseconds 2010-05-25 08:06:14 +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