top of page
Search

Recent Posts

See All

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 Cont

Raspberry Pi and seL4

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

seL4 Summit November 15-18, 2020

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

コメント


bottom of page