genode/repos/base-hw/src/kernel/spec/muen
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
..
target.mk Update Muen port 2017-02-28 13:00:43 +01:00