Bahadir Balban 9248328dd3 Pager struct allocated from boot memory and never referenced after boot. ...

We still have to have the pager structs because they possess intermediate
data during boot up such as for transferring of capability lists to
boot stack one-by-one, and then to newly generated ktcbs.

2009-11-03 15:09:28 +02:00

..

bootmem.h

More changes for cleaner initialization and support for containers.

2009-07-25 17:44:29 +03:00

cap-types.h

Exiting tasks use EXITING signal and change states to TASK_DEAD

2009-10-31 23:13:19 +02:00

capability.h

Capability-enabled kernel running 2_posix test OK.

2009-10-27 15:59:07 +02:00

container.h

Pager struct allocated from boot memory and never referenced after boot.

2009-11-03 15:09:28 +02:00

irq.h

Initial commit

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

platform.h

Initial commit

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

preempt.h

New scheduler and interruptible blocking.

2008-10-01 12:43:44 +03:00

resource.h

Some not-very-well working progress on grouply exit.

2009-10-30 19:52:52 +02:00

scheduler.h

Exiting tasks use EXITING signal and change states to TASK_DEAD

2009-10-31 23:13:19 +02:00

space.h

A better locking scheme for address spaces.

2009-11-01 14:32:55 +02:00

tcb.h

Wait on working.

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

thread.h

Reimplemented kill/suspend

2009-10-30 21:34:10 +02:00

time.h

Remove all references to ARM registers in system call arguments.

2009-06-10 17:30:02 +03:00