An absolute highlight of the first day of the seL4 Summit: A talk by Boyd Multerer (Founder and CEO of Kry10) explaining why developing software must stop being a craft and must start being a true engineering process supported by automated reasoning. @sel4 #sel4summit #software #engineering

The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit

"seL4 co-habitating the hardware" with untrustworthy firmware: Roman from ETH at the #seL4Summit about real-world hardware

Rob from Trustworthy Systems at the #seL4Summit talks about TS verification work aiming for whole system security

Incremental cyber retrofit at work: Nathan from DornerWorks talks at the #seL4Summit about running ROS on seL4

Ning Qu from Foundation Premium Member NIO talks at the ##seL4Summit about their seL4-based SkyOS, which has been shipping in their latest models since last month

Miki from Trustworthy Systems at the #seL4Summit presenting Pancake, our new systems language with verified compiler, which we're using to implement and verify LionsOS components

Courtney from Trustworthy Systems at the #seL4Summit talking about optimising the synchronisation messages between the asynchronous components of the seL4 device driver framework

The #seL4Summit is on the way, with a record 89 participants!