seL4 Archives - Page 2 of 3

How the Center of Excellence is Expanding the seL4 Ecosystem in the U.S.

Posted on January 6, 2021 by Mimi Miles

Tags: Center of Excellence, CoE, seL4, summit, US

The seL4 Center of Excellence (CoE) and the related seL4 CoE Summit make it easier for US-based developers to get training and development support for their own export-controlled projects....Read more

Now You Can Virtualize 64-bit x86 Architecture in Your seL4 VMs

Posted on October 15, 2020 by Mimi Miles

Tags: 64bit, CAmkES, multicore, SATA, seL4, Virtual Machine, virtualization, x86

Run Your Mixed Criticality Applications Together, Without Interruption, Even When One Crashes

Posted on September 22, 2020 by Mimi Miles

Tags: demo, dom0, domU, hypervisor, industrial, isolation, mixed-criticality, seL4, virtualization

seL4 on PolarFire SOC Provides a Trusted Base for Defense, Industrial and Medical Products

Posted on September 4, 2020 by Mimi Miles

Tags: FPGA, Icicle Kit, Microchip, microkernel, PolarFire, port, seL4, SoC

Accelerate Secure Software Solutions Using Preconfigured seL4 Packages

Posted on September 1, 2020 by Mimi Miles

Tags: AMD, Avnet, microkernel, seL4, VM, Xilinx

NASA Launches Space Cyber-resilience into a New Era with the seL4 Microkernel

Posted on June 18, 2020 by Mimi Miles

Tags: ARM, cyber-resilience, cybersecurity, HPSC, NASA, SBIR, seL4, space, virtualization

Enable the Security Potential and Versatility of seL4 in Medical Device Development

Posted on April 23, 2020 by Mimi Miles

Tags: cybersecurity, isolation, medical, security, seL4

seL4 Foundation Backed by Linux Foundation, Founding Members, DornerWorks and Others

Posted on April 9, 2020 by DornerWorks Ltd.

Tags: cybersecurity, linux, Linux Foundation, security, seL4, seL4 Foundation

Build A Trusted Software Base Using seL4 on the AMD Zynq MPSoC

Posted on December 3, 2019 by Robert VanVossen

Tags: hardware, MPSoC, security, seL4, Xilinx

DornerWorks Wins DARPA SBIR Contract for RISC-V port of seL4 Microkernel

Posted on December 3, 2019 by Mimi Miles

Tags: DARPA, riscv, SBIR, seL4

Modular Build and Binary Verification for seL4

Posted on December 3, 2019 by DornerWorks Ltd.

Tags: Open Source, seL4, Source Code

Blog