Another position open! We're hiring seL4 systems engineers! Are you tired of the reactive, release-patch cycle of software development? Do […]
“And e’er the twain shall meet.” Say hello to our Formal Methods engineers. “I need to talk to you about […]
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 […]
In systems programming, bugs in the execution environment can manifest in unexpected ways. This makes debugging a challenge, since when […]
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 […]
Device Untyped Memory Modelling the hardware more closely to improve robustness of configuring device driver access to the machine. User-level […]
