- Announce - lists.sel4.systems

Welcome Kry10!
by Announcements about seL4 -- low volume list 07 Jun '21

07 Jun '21

The seL4 Foundation welcomes New-Zealand based Kry10 as our latest member. “We believe that formal methods and proven code is the only viable option for software, whether it is AI, Industrial controls, or really anything else. seL4 is the first, and only real practical kernel to show the world how it should be done,” says Boyd Multerer, CEO and Founder of Kry10. “At Kry10, we are building a full-featured operating system on top of the seL4 Kernel, along with tooling, services, key management and more. We are aiming at industrial use, but it is suitable for consumer devices and more. Combined with the Erlang BEAM VM for applications, we intend to deliver systems with great security and minimal downtime, even across upgrades.” Gernot

1 0

RISC-V International and seL4 Foundation Announce New Security Milestone
by Announcements about seL4 -- low volume list 05 May '21

05 May '21

Today, the seL4 Foundation and RISC-V International announced that the verified seL4 microkernel on the RV64 architecture has been proved down to the executable code by CSIRO’s Data61, thanks to funding provided by HENSOLDT Cyber GmbH. This guarantees that the seL4 microkernel on RV64 will operate to specification even when built with an untrusted C compiler, GCC. For details please see: seL4 news: https://sel4.systems/news.pml.html RISC-V International announcement: https://riscv.org/announcements/2021/05/risc-v-international-and-sel4-found… My blog explaining what it means: https://microkerneldude.wordpress.com/2021/05/05/sel4-on-risc-v-verified-to… Gernot

1 0

Release freeze
by Announcements about seL4 -- low volume list 30 Apr '21

30 Apr '21

Hi all, The deadline for the release window has closed. We are now making sure our internal CI builds are green and then getting ready for a release. We anticipate a release will occur within the next few weeks. Happy hacking, Trustworthy Systems

1 0

ETH Zurich joins the seL4 Foundation
by Announcements about seL4 -- low volume list 28 Apr '21

28 Apr '21

Dear seL4 community, With great pleasure I’m announcing that my alma mater ETH Zurich has joined the Foundation as an Associate Member. Looking forward to their future engagement with the seL4 Foundation! Gernot

1 0

seL4 Crowdsourcing Portal
by Announcements about seL4 -- low volume list 15 Apr '21

15 Apr '21

Dear seL4 community, It is a pleasure to announce that seL4 now has a crowdsourcing portal, using the Linux Foundation’s LFX platform. Please help making seL4 stronger by donating, and encouraging others to do the same! https://crowdfunding.lfx.linuxfoundation.org/projects/e94c998c-bac2-4224-b0… Gernot

1 0

Operating System based on seL4.
by Announcements about seL4 -- low volume list 09 Apr '21

09 Apr '21

Hello, Which operating systems are based on seL4 Microkernel? Any home usage? Thanks.

1 0

release window
by Announcements about seL4 -- low volume list 01 Apr '21

01 Apr '21

Hi all, It's time for the next release of seL4 and associated frameworks. This email is to announce a release window closing on 30/04/2021. If you or your organization have any changes you would like to be in the upcoming release they will need to be reviewed and merged before this date. Happy hacking, Trustworthy Systems

1 0

Welcome Raytheon Technologies, latest member of the seL4 Foundation!
by Announcements about seL4 -- low volume list 05 Mar '21

05 Mar '21

Members of the Raytheon Technologies team have been long-time core participants in the seL4 ecosystem, predating the company’s formation in 2020, which brought together Raytheon Company and United Technologies’ aerospace businesses, Collins Aerospace and Pratt & Whitney. Collins Aerospace was a prime contractor in the DARPA HACMS program, which demonstrated the seL4-based incremental cyber retrofit of autonomous military vehicles. This was a major milestone in the growth of seL4, demonstrating that it protects against cyber attacks on real systems in operation. The same Raytheon Technologies team now leads the follow-on DARPA CASE program, aiming at designed-in cyber-resiliency, including the seL4-based framework for verified initialisation and configuration of systems architectures. Welcome Raytheon! Gernot for the seL4 Foundation

1 0

seL4 Foundation provides interim endorsement for HENSOLDT Cyber
by Announcements about seL4 -- low volume list 23 Feb '21

23 Feb '21

Dear seL4 community, I’m please to announce that the seL4 Foundation has extended Interim Endorsement as Trusted Service Provider to HENSOLDT Cyber, for consulting and development services for seL4-based systems. About HENSOLDT Cyber services and products: https://sel4.systems/Foundation/Services/hc.pml.html About the seL4 Foundation Interim Endorsement program: https://sel4.systems/Foundation/Services/endorsement.pml.html Gernot Chairman, The seL4 Foundation

1 0

seL4 Foundation endorses service providers
by Announcements about seL4 -- low volume list 16 Feb '21

16 Feb '21

It is a pleasure to announce that the seL4 Foundation has commenced providing interim endorsement for trusted service providers for seL4. These may apply to consulting and development services as well as for training. In a first step, the Foundation has given interim endorsement to the following trusted service providers (in the order of approval): • DornerWorks Ltd • Breakaway Consulting Pty Ltd • Cog Systems Inc Interim endorsement is intended to lead to full certification; the Foundation will work with interim endorsees and the general membership on developing certification schemes. More detail is available on the Foundation site: https://sel4.systems/Foundation/Services/ Gernot Chairman, seL4 Foundation

1 0