I mean, What really is stopping me from dropping everything to dive head first into a completely new field and write a #UNIX#MicroKernel in #RustLang ?
In the first of our #EverythingOpen schedule highlights, we're delighted to present #UNSW Scientia Professor @gernot who will present on efforts to take #sel4 from a #MicroKernel to fully-fledged #OS
with #LionsOS, named for open source luminary, John Lions.
#Pancake: a new, verified Pascal-like #pl emphasizing formal verification over type safety for low-level systems programming, device drivers in particular.
"Pancake eschews complex type systems to make the language attractive to systems programmers, while at the same time aiming to ease the formal verification of code. We describe the design of the language and its verified compiler, and examine its usability, performance and current limitations through case studies of device drivers and related systems components for an #seL4-based #os."
"axle is a UNIX-like hobby operating system. Everything used within axle is implemented from the ground up, from the bootloader, to the window manager, to the assembler. axle runs on bare metal. axle provides a desktop environment via an efficient compositor and a homegrown GUI toolkit library"
➥ @phillipten