Search

Trusted Projects in 2021

The Trusted team is working hard to bring Docker Containers to seL4 in the New Year. The difficult task has not been attempted before, making Trusted the vanguard of this new technology.

A Docker Container creates a package for software. The technology allows software to be standardized for a variety of uses. Find out more at: https://www.docker.com/resources/what-container


By accomplishing this, Trusted will allow seL4 to be accessed and operated more easily. It will also allow seL4 to run in certain capacities that were previously unavailable. We are excited to unveil this new achievement in the coming year!


Trusted Science & Technology is aiming to work with the consortium: Future Airborne Capability Environment. Working with this organization will open up more opportunities to share information and start new seL4 related projects. Check out FACE's website here: https://www.opengroup.org/face.


And finally, learn more about how Trusted uses seL4 to protect your interests: https://www.youtube.com/channel/UCrnQBHzFH8A9K8X-lCF2NMA

Recent Posts

See All

Trusted Science and Technology is always finding new projects to experiment with! Over the past few weeks the Trusted team has set up the Raspberry Pi 4 to run seL4 in AARCH64 bit mode. Raspberry P

The Centre of Excellence proudly presents the third annual seL4 Summit. The four days will be packed full of information presented by both private and government seL4 experts. This once a year opportu