genode/repos/base-hw/ports
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