Bahadir Balban 1bb2c05c9b Added routines for pager to search a suitable capability to grant to clients ...

Pager handles client capability requests by using one of its own
capabilities to create a new one that suits the client's needs.

The current issue is that the kernel can have multiple caps and it
may not know which one is suitable for using to create one for the client.

The kernel knows this very well, so the solution would be to attempt to
use capabilities that roughly match (i.e. by type) and leave it to
the kernel to decide whether it is any powerful to suit client's needs.

2009-11-08 17:54:57 +02:00

..

bare_src

Revert "Merge branch 'libl4thread' of git://www.b-labs.co.uk/bora/git/codezero into bora"

2009-11-05 19:17:36 +02:00

libc

Some cleanup in uart fixes.

2009-11-02 21:52:33 +05:30

libl4

Implemented a protocol between client and pager for requesting caps.

2009-11-08 14:15:33 +02:00

libmem

Removed hard coded values of toolchain and gcc cpu flags

2009-11-02 21:29:54 +05:30

posix

Added routines for pager to search a suitable capability to grant to clients

2009-11-08 17:54:57 +02:00

test

Changed l4id_t type to unsigned integer. Expanded task_ids to have cid

2009-11-04 16:39:04 +02:00