Use the simple interface in the irq_server for generating IRQ handler capabilities instead of relying on the existance of the irq control master capability
Merge pull request #16 from adanis/simple

Use the simple interface in the irq_server for generating IRQ handler ca...
client server vspace fixed, since pd's were moved into sel4utils_alloc_data_t
added a client server set root function for better abstraction
Initialize the reservation_head to NULL in a vspace instead of relying on memory having already been zeroed
Merge pull request #18 from adanis/master

Initialize the reservation_head to NULL in a vspace instead of relying o...