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.
Last year when the #seL4 Team won the ACM Software System Award, most of the awardees agreed to pool the price money for a PhD scholarship. This is now open for applications: https://trustworthy.systems/students/schol-swsa
@Axman6@bagder Well, to be fair, #seL4 isn't an Operating System, it's an OS microkernel with BYO device drivers.
However, the Lions OS built on top of it should exit the vapourware phase by the end of the year 😉 https://trustworthy.systems/projects/LionsOS/
#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."
Stoked to be part of an awesome team that has won the ACM Software System Award for the creation and real-world deployment of the #seL4 microkernel https://awards.acm.org/software-system