genode/repos/base-hw/ports
Adrian-Ken Rueegsegger 9e4ff8c196 Update Muen port
- Use latest Muen version
- Sync VirtualBox Muen subject state
- Drop unneccessary subject IP patch
- Adapt Muen RUN_OPTs
- Update documentation

Note: the GPL 2017 toolchain is now required and as the debug output
      format has changed the mulog-subject.py script must be updated on
      autopilot instances.
2018-02-28 11:04:57 +01: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-02-28 11:04:57 +01:00
muen.port Update Muen port 2018-02-28 11:04:57 +01:00