Bahadir Balban 118fc795d9 Added wakeup call during exit in case pager was trying to suspend us.

2009-10-30 12:45:31 +02:00

..

bootmem.h

More changes for cleaner initialization and support for containers.

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

cap-types.h

Capability-enabled kernel running 2_posix test OK.

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

capability.h

Capability-enabled kernel running 2_posix test OK.

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

container.h

Progress on capabilities

2009-10-22 14:04:25 +03: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

Added different paths of exiting for pager and its children.

2009-10-30 12:00:05 +02:00

scheduler.h

l4_exit() works with a reasonable sched_die_sync()

2009-10-29 22:44:58 +02:00

space.h

Capability checking added as compiling code.

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

tcb.h

Added wakeup call during exit in case pager was trying to suspend us.

2009-10-30 12:45:31 +02:00

thread.h

Capability checking added as compiling code.

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

time.h

Remove all references to ARM registers in system call arguments.

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