Orbitalis: A Distributed Microkernel Framework. - Nicola Ricciardi; Marco Picone 001; Riccardo Morandi; Nicola Bicocchi (DAIS, 2026)