Reto Buerki 68bab6a411 hw_x86_64_muen: Use timed events for guest preemption ... Write tick count of next kernel timer to the guest timed events page if present. This causes the guest VM to be preempted at the requested tick count and ensures that the guest VM can not monopolize the CPU if no traps occur. The base-hw kernel expects a configured switch-event from the guest VM to base-hw with ID 30 and target vector 32 to be present in the system policy. Issue #2016		2016-07-06 13:02:57 +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: Use timed events for guest preemption	2016-07-06 13:02:57 +02:00