[PATCH 0/3] Mini-OS: fix and cleanup of event handling

[Juergen Gross <jgross@xxxxxxxx>]

Patch 1 fixes an issue when running as PVH guest
Patches 2 + 3 are cleanups

Juergen Gross (3):
  Mini-OS: call event handlers always with interrupts off
  Mini-OS: drop in_callback variable
  Mini-OS: cleanup hypervisor.c

 hypervisor.c         | 94 +++++++++++++++++++-------------------------
 include/hypervisor.h |  2 -
 sched.c              | 11 ------
 3 files changed, 40 insertions(+), 67 deletions(-)

-- 
2.35.3