Announce

announce@sel4.systems

1 participants
133 discussions

seL4 Foundation welcomes NIO as a Premium Member
by Announcements about seL4 -- low volume list 18 Jun '21

18 Jun '21

NIO has just joined the seL4 Foundation as a Premium Member, which means they will also join the seL4 Board. About NIO: NIO Inc. is a pioneer in China's premium electric vehicle market. We design, jointly manufacture, and sell smart and connected premium electric vehicles, driving innovations in next generation technologies in connectivity, autonomous driving, and artificial intelligence. Redefining user experience, we provide users with comprehensive, convenient, and innovative charging solutions and other user-centric service offerings. NIO went public in the U.S. in 2018. So far, NIO has launched 3 mass-production vehicle models: ES8, ES6, and EC6, and accumulated deliveries to users are over 120,000. Starting September, NIO will start delivering to users in Norway. NIO invests heavily in in-house R&D to build full-stack cutting-edge technologies around intelligent and autonomous driving EV. Its engineering teams are distributed across the globe, including US, UK, Germany and China. The Digital Systems department at NIO is missioned to develop the most advanced software platform for the next-generation autonomous driving vehicles in the industry from the ground up. This platform is internally named NIO Vehicle Operating System (NVOS) and based off seL4. It involves solving a wide range of technical challenges, such as seamless app development on heterogeneous hardware chipsets, low-latency & high throughput data processing, powerful AI framework, automobile-grade safety and security guarantee, and complete toolchains to provide Android alike development experience.

1 0

June release
by Announcements about seL4 -- low volume list 15 Jun '21

15 Jun '21

Announcing the releases of seL4, CAmkES and CapDL under the seL4 Foundation. Below you can find links to release notes. Versioned Releases: * seL4 12.1.0 ~ https://docs.sel4.systems/releases/sel4/12.1.0 * CAmkES 3.10.0 ~ https://docs.sel4.systems/releases/camkes/camkes-3.10.0 * CapDL 0.2.1 ~ https://docs.sel4.systems/releases/capdl/0.2.1 For more information on who we are, what we do and how to contact us see: https://sel4.systems/Foundation/ https://docs.sel4.systems/processes/#contact

1 0

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

← Newer
1
...
6
7
8
9
10
11
12
13
14
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

Announce