Bahadir Balban b5e6c66426 UTCB update ...

Added 8 notify slots of 1 byte each. These will be notification
slots for irqs and other threads.

Also now userspace refers to kernel's utcb definition, so they're
in sync.

2009-11-24 14:45:43 +02:00

..

include/l4lib

UTCB update

2009-11-24 14:45:43 +02:00

src

Added a new irq_control system call

2009-11-23 16:46:51 +02:00

SConscript

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

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

SConstruct

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

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