Bahadir Balban 117e3482b6 Capabilities for quantitative resources working. ...

Status:
- Capability initialization is a bit hacky with dummy current etc.
- All container caps belong to the pager
- Tasks refer to their pager's capabilities for mutex allocation - Hacky.
- Kernel container keeps quantitative caps and memory caps in separate lists - Hacky.

These will all evolve and get fixed.

2009-08-22 23:41:53 +03:00

..

l4

Capabilities for quantitative resources working.

2009-08-22 23:41:53 +03:00