You could check out Helios, which is inspired by L4 [0]

[0] https://ares-os.org/docs/helios/