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

Message

Jürgen Groß Dec. 11, 2023, 1:48 p.m. UTC

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(-)