6 Commits

Author	SHA1	Message	Date
Bahadir Balban	74b5963fcb	Kernel updates since December 2009	2010-03-25 01:12:40 +02:00
Amit Mahajan	8d2571cd1f	Capability print functions shifted to l4lib and various capability.h ... cleaned	2009-12-08 13:02:48 +05:30
Bahadir Balban	dc03c7b130	Implemented a protocol between client and pager for requesting caps. ... In posix, test0 makes inter-space ipc for testing extended ipc. This correctly fails when only the cap to ipc to pager is given to all tasks in the container. In order to overcome this problem, the tasks who fork for doing ipc to each other make a request to the pager to get capabilities to do so. Pager finds its own widened ipc capability over the container, replicates it, validates and reduces it to desired boundaries (i.e. just ipc betw. two spaces) and grants it as IMMUTABLE to requesting tasks. This protocol may be useful in implementing a client/server capability request relationship. Code builds but untested.	2009-11-08 14:15:33 +02:00
Bahadir Balban	b136b79a2d	Capability replicate/deduce/share tested with mm0.	2009-11-07 23:45:57 +02:00
Bahadir Balban	da5f4dcff3	Changes in merged posix pager mm0 initialization. ... - Moved rootfs from being embedded to mm0 image to being an independent image. - MM0 boots up to start_init_process with updated boot convention.	2009-10-05 13:25:32 +03:00
Bahadir Balban	f0bb0a4657	Added posix code	2009-09-29 21:55:59 +03:00