Reto Buerki 5c3461a851 Update Muen port ...

- Switch to sinfo variant resources API
- Improved MSI IRQ representation and processing
- Genode system policy adjustments

2018-04-19 12:38:25 +02:00

..

bbl.hash

hw: run core threads in privileged mode

2017-10-19 13:31:17 +02:00

bbl.port

hw: run core threads in privileged mode

2017-10-19 13:31:17 +02:00

muen.hash

Update Muen port

2018-04-19 12:38:25 +02:00

muen.port

Update Muen port

2018-04-19 12:38:25 +02:00