Bahadir Balban 425193efa9 Added a flag to read registers back for sys_exregs call

2009-11-05 11:27:29 +02:00

..

capability.h

Added a TASK_CAP_LIST macro that abstracts away the primary cap list

2009-10-30 13:46:47 +02:00

errno.h

Capability accounting for quantitative capabilities - First part done.

2009-08-22 12:09:51 +03:00

exregs.h

Added a flag to read registers back for sys_exregs call

2009-11-05 11:27:29 +02:00

ipc.h

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

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

kip.h

Added a simplified ascii_to_int() implementation.

2009-10-17 18:48:30 +03:00

mutex.h

Code that compiles until initialization of containers and pagers.

2009-08-02 23:43:14 +03:00

space.h

Task initally exec'ing with success. Some errors need to be investigated.

2008-12-01 13:53:50 +02:00

syscall.h

Capability checking added as compiling code.

2009-10-25 23:57:17 +02:00

thread.h

Wait on working.

2009-10-31 23:28:54 +02:00