Another position open! We're hiring seL4 systems engineers! Are you tired of the reactive, release-patch cycle of software development? Do […]
Data61’s Trustworthy Systems Research Team sweep SA’s iAwards with three wins for their collaboration with DST Group on the Cross […]
We have found in Trustworthy Systems that a big hurdle for new people coming to work on the seL4 ecosystem […]
Securing outer space with seL4 Welcome to 2017: we have self-driving cars, mag lev trains, Tesla’s SpaceX and now: seL4-powered […]
Starting 2017 off strong. At Trustworthy Systems, we’ve achieved major cyber-security milestones funded by the US Department of Defense over […]
Limited support is now available for running unmodified NetBSD drivers on seL4 using rump kernels. We have modified the Rumprun […]
seL4 on the Raspberry Pi 3 The seL4 kernel is a burgeoning project that’s been creating a buzz in the […]
