Following CSIRO’s abandoning of Trustworthy Systems (TS) and the seL4 technology TS developed, the seL4 Foundation has seen a significant increase in Foundation membership, including a number… | Continue reading
Great news: Ryan Barry from the Trustworthy Systems verification team has just completed the access-control proofs of seL4. What does this mean? In more detail: the proof shows that seL4 will only … | Continue reading
On 3 June 2021, Dr Larry Marshall, CEO of CSIRO, gave evidence in an Estimates hearing in the Australian Senate. The official transcript is available from the Australian Parliament’s web site… | Continue reading
CSIRO, Australia’s national research agency, has just decided to disband the Trustworthy Systems (TS) team, the creators of seL4, the world’s first operating system (OS) kernel proved c… | Continue reading
… and seL4 and RISC-V Foundations form an alliance In June 2020 we announced that the seL4 microkernel, the world’s first operating system (OS) kernel with a machine-checked proof of implemen… | Continue reading
Sounds great! But what does it mean? seL4 seL4 (pronounced ess-e-ell-four) is arguably the world’s most secure operating system (OS) kernel. The OS kernel is the lowest level of software running o… | Continue reading
We have created the seL4 Foundation! But what is the seL4 Foundation, and why did we create it? In a nutshell, these are the reasons (I’ll expand on them below): Provide for the longevity of … | Continue reading
seL4 has been our team’s greatest achievement, but it didn’t fall out of the sky: it was the result of 15 years of research, and has evolved further for the past 10 years. From the begi… | Continue reading
Space satellites are expensive. Part of that is the launch cost, but that cost is dropping dramatically to tens of k$/kg. This, combined with the growing demand for micro-/nano-satellites, is incre… | Continue reading
A week ago, on 29 July, we at Trustworthy Systems celebrated seL4 Freedom Day, the 5th anniversary of the open-sourcing of seL4. Furthermore it was seL4’s 10th birthday – the anniversary of t… | Continue reading
Almost all critical security exploits in Linux would be either completely prevented or reduced to low severity if the OS was based on a verified microkernel, such as seL4. The monolithic OS design … | Continue reading