Bahadir Balban 9c06bea41a Changed name of kernel_container to kernel_resources

2009-10-20 13:14:49 +03:00

..

bootmem.h

More changes for cleaner initialization and support for containers.

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

cap-types.h

Removed bits from kernel where pager utcb is set.

2009-10-18 15:01:38 +03:00

capability.h

Capability accounting for quantitative capabilities - First part done.

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

container.h

Changed name of kernel_container to kernel_resources

2009-10-20 13:14:49 +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

Changed name of kernel_container to kernel_resources

2009-10-20 13:14:49 +03:00

scheduler.h

Moved scheduler from containers back to being a global.

2009-09-27 13:50:48 +03:00

space.h

Fixed utcb updating issue that was a significant burden.

2009-10-09 16:45:10 +03:00

tcb.h

Added support for faulty pagers and their threads to become zombies

2009-10-19 18:48:55 +03:00

thread.h

Renamed many thread_* line of calls.

2009-10-19 19:24:40 +03:00

time.h

Remove all references to ARM registers in system call arguments.

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