seL4 News

Videos of the seL4 Summit 2022 are now available on the seL4 YouTube channel! Links and slides can be found on the summit Program and Abstracts pages. Thanks to all the speakers for making the seL4 Summit 2022 a great success!

The seL4 Foundation welcomes the open-sourcing of core components of KataOS created by our Member Google. KataOS is based on seL4 and implemented mostly in the Rust programming language. KataOS is to be combined with a secure hardware platform on the RISC-V architecture.

This is an exciting addition to the seL4 ecosystem that will ease deployment of seL4-based systems. It also adds improved support for running Rust programs on seL4, which is a hot topic in the seL4 community.

The seL4 Foundation thanks Xcalibyte for becoming a Bronze sponsor of the seL4 Summit 2022.

Xcalibyte’s mission is to improve the quality of software by creating easy-to-use tools that help developers build and deploy reliable and secure code. Founded by world-class software experts with decades of experience in compiler optimization and software development, Xcalibyte was established in 2018 and has offices in Shenzhen, Shanghai, Beijing and Hong Kong. Xcalibyte enhances the speed and accuracy of code auditing, code evaluation, and code defect detection. We use advanced static code analysis to help reduce costs, improve productivity, and ensure software developers in China and all over the world have the proper capabilities to develop better, more reliable software.

The seL4 Foundation thanks DornerWorks for becoming a Bronze sponsor of the seL4 Summit 2022.

DornerWorks helps product makers turn their ideas into reality with FPGA, hardware, and embedded software engineering expertise. Among other areas, DornerWorks specialises in seL4 microkernel-based development.

Innovative companies are building products on a trusted software base with the guidance of DornerWorks engineers. As a founding member of the seL4 Foundation, DornerWorks can accelerate the integration of seL4 as the trusted software base for your products.

If you are interesting in sponsoring the seL4 Summit 2022, please contact summit@sel4.systems.

The seL4 Foundation thanks Horizon Robotics for becoming a Bronze sponsor of the seL4 Summit 2022.

Horizon Robotics is a leading provider of computing platforms for smart vehicles with the mission to make human life safer and better.

Premium member of the seL4 Foundation, Horizon works with members of seL4 Foundation to build mixed-critical platform and solution for next-generation autonomous driving vehicles.

If you are interesting in sponsoring the seL4 Summit 2022, please contact summit@sel4.systems.

The seL4 Foundation welcomes SpacemiT as a member.

SpacemiT, a semiconductor innovation company focusing on high-performance RISC-V architecture chips, announced that it has officially joined the seL4 Foundation. SpacemiT will work closely with seL4 to promote RISC-V+seL4 and will also focus on the security and performance of the operating system, thus assuring confidence in the security of the RISC-V architecture.

This hybrid event will be held in Munich, Germany, 10-13 October 2022.

The seL4 Summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.

Tickets include:

• Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
• A one-day bootcamp with workshops and trainings
• Networking with other seL4 experts and enthusiasts
• Participation in the mentoring program (for students and junior engineers)

Mentorship program

As part of the registration process, attendees have the opportunity to opt-in to a new, informal mentorship program. The purpose of this program is to foster mentorship relationships within the seL4 community. The program committee will match students and junior engineers who wish to participate as mentees with volunteer mentors. Participating attendees will be introduced to their counterparts during the summit, and will carry on afterwards with whatever level of involvement suits both parties. Mentors are welcome to volunteer for any level of involvement.

The seL4 Foundation is pleased to welcome Google as our latest member.

We are excited to see their interest in seL4 and look forward to seeing their work with seL4.

Have a look at the seL4 Summit Program! We have an amazing line-up of cool seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and Birds-of-a-feather sessions, as well as a whole day of seL4 bootcamp with tutorials and training.

The seL4 Foundation is pleased to welcome Lattice X.

LatticeX Foundation cultivates academic research, technology advancements and industrial applications in the fields that foster the development of LatticeX ecosystem.

LatticeX is the vision of large-scale distributed network supporting the expansive economy activities and broader business applications where users can recognize the sovereignty and privacy of their own data, and leverage the ecosystem of sophisticated computing technologies to collaboratively unearth the value of data and benefit from data-value transactions throughout.

Yuning Liang, LatticeX Foundation Security Advisor said: “We are so glad to join seL4 foundation. Hopefully, we can specialise seL4 technology into the web 3.0 domain from cross chain bridge node OS to hardware wallet OS for improving their security and stability.”

A reminder that you have until Monday 9th of May 2022 to propose a talk for the seL4 Summit 2022.

It is our pleasure to confirm that the seL4 Summit 2022 will be in:

It will be hosted by seL4 Foundation member Hensoldt Cyber. It will be a hybrid in-person/online event. If you'd like to propose a talk to be delivered remotely, please notify it in the submission.

Remember that you have until Monday 9th of May 2022 to propose a talk.

The Linux Foundation has registered seL4^® as a trademark in the United States and other countries. We encourage the use of the seL4^® name and logo in your work, following the usage rules here.

Our second Annual General Meeting (AGM) 6 April 2022. As our membership now is truly global, covering New Zealand, Australia, China, the Middle East, Central and Western Europe, the US East, Central and West coasts, there is no time that is not in the middle of the night for some members. Hence we will hold the AGM in two sessions:

• 2022-04-06 07:00 - 08:30 UTC
• 2022-04-06 23:00 - 2022-04-07 00:30 UTC

Check the full Call For Presentations. To propose a talk, send an abstract of one page or less by Monday 9th of May 2022 to summit@sel4.systems.

The seL4 Foundation is excited to have gathered a top notch team of people to serve as PC members for the seL4 Summit 2022. They come from across the the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.

Stay tuned for the Call for Presentation soon!

The seL4 Foundation is pleased to welcome Olivier Engelkes as Hensoldt Cyber’s new representative on the seL4 Foundation Board.

Olivier is Head of Engineering at HENSOLDT Cyber GmbH, premium member of the seL4 Foundation and Munich-based company which develops embedded IT products that meet the highest security requirements, combining an operating system based on verified seL4 with a RISC-V processor that is protected from supply-chain attacks. Olivier replaces Sascha Kegreiß as HENSOLDT Cyber’s representative on the seL4 Foundation Board.

The seL4 Foundation is pleased to welcome the UK’s National Cyber Security Centre (NCSC).

The NCSC, the UK’s technical authority on cyber security, uses the seL4 Microkernel to enforce separation in a number of high-assurance situations. The government organisation is actively exploring research opportunities to further develop its seL4 use cases. NCSC Technical Director Dr Ian Levy said: “We’re pleased to join the seL4 Foundation. seL4 is some of the most highly assured software and its development plays an important role in the next generation of high-assurance devices. We support the long-term stability of the seL4 microkernel ecosystem and are looking at opportunities to develop our use cases for it.”

The seL4 Foundation will be organising the fourth edition of the seL4 Summit, in October 2022.

A Program Committee will be in charge of the technical side (more on that soon) and an Hosting Team will be in charge of organising the event.

We are now calling for bids to be the Host team for the seL4 Summit 2022!

Bids should be sent to summit@sel4.systems before 22 February 2022.

More information here.

The seL4 Foundation has awarded Interim Endorsement to Kry10 as a Trusted Service Provider.

More on our Services, Training and Products page.