genode/repos/base-hw
Adrian-Ken Rueegsegger cd6b3b1222 hw_x86_64_muen: Implement Muen Vm_session
* The Vm thread is always paused and on exception to make sure that guest VM
  execution is suspended whenever we handle an interrupt. Also signal the Vm
  session to poke waiting threads (e.g. Virtualbox EMT).

* Implement Vm::proceed
  Switch to the mode transition assembly code declared at the _vt_vm_entry
  label.

Issue #2016
2016-07-06 13:02:55 +02:00
..
doc tool: remove deprecated 'make prepare' mechanism 2016-03-17 17:02:04 +01: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 Relax tool checks of Muen port 2016-02-26 11:36:55 +01:00
run hw: add dummy config to kernel tests 2016-05-26 15:54:15 +02:00
src hw_x86_64_muen: Implement Muen Vm_session 2016-07-06 13:02:55 +02:00