Off the top of my head: - strongly typed syscalls. - easier way to circumvent the kernel / OS (unikernels are very active and tangible space, see HFT) while p

Off the top of my head: - strongly typed syscalls. - easier way to circumvent the kernel / OS (unikernels are very active and tangible space, see HFT) while potentially staying relatively safe - safe zero copy IPC - projects like https://zinc.rs/ https://zinc.rs/ which fold Embedded Linux' Device Tree concept into a coherent declarative HW description that is consumable by the bootstrapper