genode/repos/base-hw/ports
Adrian-Ken Rueegsegger bdfe3e1a8c Update Muen port
- Upgrade to Muen v0.8+
- Switch to https
- Download contrib when building kernel
- Append Muen compilation output to build log
- Explicitly init required submodule
2017-02-28 13:00:43 +01:00
..
muen.hash Update Muen port 2017-02-28 13:00:43 +01:00
muen.port Update Muen port 2017-02-28 13:00:43 +01:00