Alexander Boettcher 3e90542559 nova: use signals with irqs in core ... Avoids the need to have per IRQ a thread that blocks synchronously for next interrupt. Now a thread may wait for multiple IRQs as other signals simultaneously. In core no threads are required anymore for IRQs/MSI - the clients (either the pci_drv or in case of MSI the driver) gets the IRQ delivered directly as a ordinary Genode signal. Useful since #1216 and #1487 is now available. Commit applies feature of #1446 also to IRQ/MSIs.		2015-05-26 09:39:51 +02:00
..
32bit/nova	nova: use signals with irqs in core	2015-05-26 09:39:51 +02:00
64bit/nova	nova: use signals with irqs in core	2015-05-26 09:39:51 +02:00
base	base: remove local capability from generic base	2015-04-17 16:13:20 +02:00
cap_session	nova: fix usage of portal permission	2015-01-06 12:39:11 +01:00
cpu_session	CPU session: apply quota via relative weightings	2015-05-06 10:55:16 +02:00
nova	nova: provide assessors in utcb for efer register	2015-02-27 11:48:05 +01:00
nova_cpu_session	nova: use in core one pager per CPU	2015-02-27 11:40:58 +01:00
pd_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
rm_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
signal_session	nova: leverage kernel to implement Genode signals	2015-03-27 11:53:11 +01:00