Adrian-Ken Rueegsegger 923fbc9e86 Update Muen port ...

- Adjust Muen RUN_OPTs
- Update documentation
- Checkout required submodule

2017-05-31 13:16:22 +02:00

..

doc

Update Muen port

2017-05-31 13:16:22 +02:00

etc

base: remove include/spec/* other than ISA

2017-05-31 13:16:01 +02:00

include

os/timer: interpolate time via timestamps

2017-05-31 13:16:11 +02:00

lib/mk

gcc: RISC-V 6.3.0

2017-05-31 13:16:20 +02:00

ports

Update Muen port

2017-05-31 13:16:22 +02:00

recipes

Depot-archive recipes

2017-05-31 13:15:56 +02:00

run

run: use default Qemu memory size for x86

2017-05-31 13:16:19 +02:00

src

Update Muen port

2017-05-31 13:16:22 +02:00