[[UNIKRAFT PATCH] v4 0/4] Remove extended register usage in interupt handlers

[cristianvijelie@xxxxxxxxx]

From: Cristian Vijelie <cristianvijelie@xxxxxxxxx>

This sries of patches means to create a new library, based on nolibc, which is
interrupt-context-safe and change the drivers, so that the interrupt handlers
are also interrupt-context-safe, by making them use the new library, where 
needed
and by moving the interrupt handlers in separate files, that are compiled using
the unikraft 'isr' flag.

Cristian Vijelie (4):
  Introduce libc-like interrupt-context-safe routines
  Made _ukplat_irq_handle interrupt-context-safe
  Made virtio irq handler interrupt-context-safe
  Made xen event handler interrupt-context-safe

-- 
2.25.1