June 2021 - Announce - lists.sel4.systems

The seL4 Foundation welcomes Jump Trading as a Premium member
by Announcements about seL4 -- low volume list 29 Jun '21

29 Jun '21

Jump is a research-based organization that is committed to applying cutting edge technology to trading global financial markets. Jump has the full spectrum of technology challenges from machine learning models and HPC at massive scale to cybersecurity and trusted compute requirements that come from being a major market participant in many asset classes. Jump was founded in 1999 and has over 20 global offices including Sydney, Shanghai and Singapore in Asia. Welcome on board! Gernot

1 0

The seL4 Foundation welcomes Horizon Robotics as a Premium member
by Announcements about seL4 -- low volume list 25 Jun '21

25 Jun '21

About Horizon: Horizon Robotics is a global leader in the development of artificial intelligence computing platforms. Its mission is to make driving safer and more convenient as drivers transition to intelligent and self-driving vehicles. Founded in Beijing in 2015, Horizon Robotics develops next-generation autonomous driving technology integrating edge-AI processors, algorithms, and toolkits. Horizon has reinvented the automotive-grade AI processor with Horizon Journey SOC and its Brain Processing Unit AI engine (Horizon BPU), to offer the ultimate balance of high-performance, low power, and cost effectiveness for inference at the edge. Horizon's state-of-the-art AI toolkit and model zoo enable developers to optimize and deploy their own neural network models to Journey BPU with ease. Horizon also offers vision perception algorithms to accelerate time-to-production in the dynamic and highly competitive ADAS/AD market. The evolution of automotive E/E architecture continues rapidly. With complicated hardware consolidation, software consolidation and separation happen simultaneously. “To address the challenges of safety, security and realtime in autonomous software, a fundamental high quality state-of-the-art microkernel is needed. We are looking forward to working with members of seL4 Foundation to build mixed-critical platform and solution for next-generation autonomous driving vehicles.” Welcome on board! Gernot

1 0

seL4 jobs page
by Announcements about seL4 -- low volume list 24 Jun '21

24 Jun '21

The Foundation has created a "Jobs in the seL4 ecosystem" page where members can post offers for positions with seL4 expertise: https://sel4.systems/Foundation/Jobs.html. Our newly joined premium member NIO just posted some openings for seL4 experts. Gernot

1 0

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

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