..
do_abort.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_clear.c
SMP - lazy FPU
2010-09-15 14:11:25 +00:00
do_copy.c
KCall methods do not depend on m_source and m_type fields
2010-06-01 08:54:31 +00:00
do_cprofile.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_devio.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_endksig.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_exec.c
SMP - lazy FPU
2010-09-15 14:11:25 +00:00
do_exit.c
More endpoint_t correctness.
2010-06-08 14:09:18 +00:00
do_fork.c
mark forked process as such in the kernel p_name
2011-02-21 15:05:32 +00:00
do_getinfo.c
kernel - doesn't do lock timings any more
2011-02-04 13:42:17 +00:00
do_getksig.c
include, kernel: minor fixes to make compiling and linking work with clang.
2010-07-06 11:59:19 +00:00
do_irqctl.c
if verbore=1 tell us who registers which irq handler
2010-10-21 17:07:12 +00:00
do_kill.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_mcontext.c
SMP - lazy FPU
2010-09-15 14:11:25 +00:00
do_memset.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_newmap.c
Oops, last commit included more than was intended
2010-05-20 08:07:47 +00:00
do_privctl.c
change bitchunk_t from 16-bit to 32-bit
2010-12-21 10:44:45 +00:00
do_profbuf.c
KCall methods do not depend on m_source and m_type fields
2010-06-01 08:54:31 +00:00
do_runctl.c
SMP - Process is stopped when VM modifies the page tables
2010-09-15 14:11:12 +00:00
do_safecopy.c
RS live update support.
2010-07-09 18:29:04 +00:00
do_safemap.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_schedctl.c
SMP - Changed prototype of sys_schedule()
2010-09-15 14:10:42 +00:00
do_schedule.c
SMP - Changed prototype of sys_schedule()
2010-09-15 14:10:42 +00:00
do_segctl.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_setalarm.c
More endpoint_t correctness.
2010-06-08 14:09:18 +00:00
do_setgrant.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_sigreturn.c
SMP - lazy FPU
2010-09-15 14:11:25 +00:00
do_sigsend.c
SMP - lazy FPU
2010-09-15 14:11:25 +00:00
do_sprofile.c
Internal 64M buffer for profiling
2010-09-23 10:49:48 +00:00
do_statectl.c
Driver refactory for live update and crash recovery.
2010-04-08 13:41:35 +00:00
do_stime.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_sysctl.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_times.c
More endpoint_t correctness.
2010-06-08 14:09:18 +00:00
do_trace.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_umap.c
Convert kernel over to bsdmake
2010-04-01 22:22:33 +00:00
do_update.c
SMP - Cpu local variables
2010-09-15 14:09:46 +00:00
do_vdevio.c
More endpoint_t correctness.
2010-06-08 14:09:18 +00:00
do_vmctl.c
SMP - reduced TLB flushing
2010-10-25 16:21:23 +00:00
do_vtimer.c
KCall methods do not depend on m_source and m_type fields
2010-06-01 08:54:31 +00:00
Makefile.inc
Fix multiboot for ACK-built images
2010-12-17 13:47:11 +00:00