Bahadir Balban a3cfa2ac9b Added a device attribute to capabilities - In progress ...

Followed the kernel physical memory reservation convention
with devices. Devices that are possessable by userspace
are created as boot-time capabilities and placed under the kernel
resources devmem_free capability list. Any userspace container
that is defined with the possession of the device would delete the
device capability making it unavailable to further requests.

2009-11-21 23:45:58 +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

Added a device attribute to capabilities - In progress

2009-11-21 23:45:58 +02:00

glue

Moved generic ipc flags to api/ipc.h

2009-11-09 22:01:44 +02:00

lib

Added handling of task pending events from scheduler.

2009-11-01 01:03:17 +02:00

platform

Tested compilation of various platforms.

2009-11-03 12:10:16 +05:30

.gitignore

Added two gitignore files to git.

2008-01-14 13:36:47 +00:00

macros.h

Put cinfo array into initdata section. Added more precision in bootmem

2009-11-21 13:35:53 +02:00

types.h

Initial commit

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