Bahadir Balban 6e40a2b601 Preliminary irq registration call + irq capability checking ...

Need to add irqctrl capabilities and irq bits to device memory
caps.

Also need to initialize irq field of devmem caps.

2009-11-28 19:13:23 +02:00

..

context.h

exchange_registers(), modified thread_control calls seem to work

2008-09-15 15:59:44 +03:00

init.h

Container/Pager/Capability initialization that works.

2009-08-04 13:56:11 +03:00

ipc.h

Moved ipc flags manipulation to ipc.h glue file

2009-05-28 13:02:37 +03:00

memlayout.h

Removed bits from kernel where pager utcb is set.

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

memory.h

Removed hard-coded area definitions from kernel

2009-10-17 13:42:49 +03:00

message.h

Preliminary irq registration call + irq capability checking

2009-11-28 19:13:23 +02:00

syscall.h

Fixed utcb updating issue that was a significant burden.

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