Bahadir Balban 4f4532210a Fixed a bug with page_map size by dynamically allocating it.

2009-08-10 23:47:58 +03:00

..

bootdesc

Relocated bootdesc at the end of mm0 instead of kernel image.

2009-08-06 15:03:57 +03:00

fs0

Pager works until end of init_physmem_secondary

2009-08-09 17:22:13 +03:00

libl4

Made container/capability control syscall changes to libl4

2009-08-06 16:34:20 +03:00

libmem

Removed linux linked list dependency.

2009-06-02 13:19:17 +03:00

libposix

Added kernel + libl4 changes for full and extended ipc.

2009-05-15 19:14:40 +03:00

mm0

Fixed a bug with page_map size by dynamically allocating it.

2009-08-10 23:47:58 +03:00

test0

Removed a few minor dependencies on linux C library headers that I forgot in the past.

2009-06-01 16:11:11 +03:00

.config

Initial commit

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