Reto Buerki f241b6e496 Update Muen port to revision c73734d ...

Issue #2016

2016-07-06 13:02:58 +02:00

..

doc

Update Muen port to revision c73734d

2016-07-06 13:02:58 +02:00

include

Supplement base/log.h with raw output function

2016-06-22 12:21:42 +02:00

lib

hw_x86_64_muen: implement VM service skeleton

2016-07-06 13:02:55 +02:00

mk/spec

hw_zynq: refactor specs

2016-04-25 10:48:00 +02:00

ports

Update Muen port to revision c73734d

2016-07-06 13:02:58 +02:00

run

hw: add dummy config to kernel tests

2016-05-26 15:54:15 +02:00

src

hw_x86_64_muen: Use timed events for guest preemption

2016-07-06 13:02:57 +02:00