Bahadir Balban d3d072e47d Capability accounting for quantitative capabilities - First part done. ...

Need to make sure accounting charges correct containers during init.
Therefore kernel resource spending must also be accounted for.

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

..

capability.h

Pager works until end of init_physmem_secondary

2009-08-09 17:22:13 +03:00

errno.h

Capability accounting for quantitative capabilities - First part done.

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

exregs.h

New UTCB implementation almost working.

2009-05-01 10:11:47 +03:00

ipc.h

Changed full boolean with ipc flags and simplified ipc calls.

2009-05-23 13:52:06 +03:00

kip.h

Replaced kread and kmem_control syscalls with capability_control and container_control respectively.

2009-08-06 16:22:55 +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

Replaced kread and kmem_control syscalls with capability_control and container_control respectively.

2009-08-06 16:22:55 +03:00

thread.h

Ongoing work for adding per-thread UTCB structures.

2009-04-29 16:53:04 +03:00