codezero

mirror of https://github.com/drasko/codezero.git synced 2026-01-12 02:43:15 +01:00

Files

Bahadir Balban 5bff5b5fbf Reduced maximum number of pagers to 1, and boot-time capabilities to 16

Each container was taking up more than 3KB of space at boot-time structures
This was due to having 4 pagers and 32 boot-time capabilities for each. This
caused the boot-time kernel size to vary a lot with capabilities. The new
numbers are optimum.

Particularly we always have a single pager per container, even though the
array structures allow more. Single pager makes container-wide privileges
and management simpler.

2009-11-21 12:31:03 +02:00

api

Cleaned up various bits with capability syscalls.

2009-11-10 16:15:14 +02:00

arch

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

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

drivers

Patch for comments by bahadir

2009-11-02 21:31:07 +05:30

generic

Reduced maximum number of pagers to 1, and boot-time capabilities to 16