- Announce - lists.sel4.systems

The seL4 Foundation welcomes Li Auto as a Premium member
by Announcements about seL4 -- low volume list 23 Jun '21

23 Jun '21

Li Auto (NASDAQ:LI) is an innovator in China's new energy vehicle market. The Company designs, develops, manufactures, and sells premium smart electric vehicles. Through innovations in product, technology, and business model, the Company provides families with safe, convenient, and refined products and services. Li Auto is a pioneer to successfully commercialize extended-range electric vehicles in China. Its first model, Li ONE, is a six-seat, large premium electric SUV equipped with a range extension system and advanced smart vehicle solutions. The Company started volume production of Li ONE in November 2019 and released the 2021 Li ONE in May 2021. The Company leverages technology to create value for its users. It concentrates its in-house development efforts on its proprietary range extension system, next-generation electric vehicle technology, and smart vehicle solutions. Beyond Li ONE, the Company aims to expand its product line by developing new vehicles, including BEVs and EREVs, to target a broader consumer base. Li Auto's team will develop a secure highly extensible real-time open platform for next generation self-driving vehicles based on the micro-kernel OS seL4. The platform will enable an ecosystem for third party application developers. Welcome on board! Gernot

1 0

Xcalibyte joins the seL4 Foundation
by Announcements about seL4 -- low volume list 22 Jun '21

22 Jun '21

The seL4 Foundation welcomes Xcalibyte as a member. 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. “As we are actively working with members of the seL4 Foundation, it makes perfect sense for us to be part of the organisation. Our code analysis tools are being used by community members and we are aiming to ensure they develop high quality and secure code.” Gernot

1 0

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