ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-03 12:34:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
a147bdf406
genode/repos/base-hw/src/kernel/spec/muen
History
Adrian-Ken Rueegsegger c14149b4eb Update Muen port 
- Use latest Muen version
- Sync VirtualBox Muen subject state
- Rework Muen download so contrib/muen-* remains untouched after port
  has been prepared
2017-06-29 11:59:58 +02:00
..
target.mk Update Muen port 2017-06-29 11:59:58 +02:00