Bahadir Balban 877b2cedc7 Integrated libl4thread with libl4. Added device number to device caps. ...

A 16-bit device number or id further distinguishes a device on the
system in addition to the device type. This is meant to be used for
the very first identification of the device for further probing. Any
further info is available by userspace mapping and probing.

2009-11-22 21:34:18 +02:00

..

bootmem.h

Put cinfo array into initdata section. Added more precision in bootmem

2009-11-21 13:35:53 +02:00

cap-types.h

Integrated libl4thread with libl4. Added device number to device caps.

2009-11-22 21:34:18 +02:00

capability.h

Moved capability struct to api/capability.h for userspace coherence

2009-11-22 15:08:29 +02:00

container.h

Added a device attribute to capabilities - In progress

2009-11-21 23:45:58 +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

Added means to search for threads in other containers

2009-11-04 20:56:57 +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

Clarified a few confusing definitions in ipc.c

2009-11-09 22:59:24 +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