Russel Winder 6ca0f2607a Switch to using a different strategy for building the kernel.

2009-08-27 16:43:47 +01:00

..

bit.c

Few more fixes.

2008-02-09 14:24:49 +00:00

idpool.c

Removed kmalloc. Initialization path resolved, almost done.

2009-08-06 14:15:39 +03:00

memcache.c

Container/Pager/Capability initialization that works.

2009-08-04 13:56:11 +03:00

mutex.c

Fix to l4_mutex_control for the unexpected sleeping with mutex held

2009-06-10 15:41:30 +03:00

printk.c

Initial commit

2008-01-13 13:53:52 +00:00

putc.c

Initial commit

2008-01-13 13:53:52 +00:00

string.c

Evaluated license issues, made some other enhancements.

2009-06-08 17:00:21 +03:00

wait.c

wait_on_prepare and wait_on_prepared_wait with preemption considered

2009-06-10 15:48:34 +03:00