seL4 Archives - DornerWorks

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

Posted on September 22, 2020 by Matthew Russell

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

The DoomU/Pen-DomU-lum demonstration from DornerWorks pairs open Source Doom with an industrial controller to illustrate the benefits of a seL4 hypervisor on a Xilinx ZCU102 development board....Read more

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

Posted on September 4, 2020 by Matthew Russell

Tags: FPGA, icicle kit, Microchip, microkernel, polarfire, port, seL4, SoC

Accelerate Secure Software Solutions Using Preconfigured seL4 Packages

Posted on September 1, 2020 by Matthew Russell

Tags: Avnet, microkernel, seL4, VM, Xilinx

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

Posted on June 18, 2020 by Matthew Russell

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

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

Posted on April 23, 2020 by Matthew Russell

Tags: medical, security, seL4

seL4 Foundation Backed by Linux Foundation, Founding Members CSIRO’s Data61, DornerWorks and Others

Posted on April 9, 2020 by DornerWorks Ltd.

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

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

Posted on December 3, 2019 by Matthew Russell

Tags: DARPA, riscv, SBIR, seL4

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

Posted on December 3, 2019 by Robert VanVossen

Tags: hardware, MPSoC, security, seL4, Xilinx

Modular Build and Binary Verification for seL4

Posted on December 3, 2019 by DornerWorks Ltd.

Tags: opensource, seL4, sourceCode

Defense Systems Can Add Efficiency, Reduce Costs with Software Module Certification and Reuse System

Posted on December 3, 2019 by DornerWorks Ltd.

Tags: Army, autonomous, certification, NDIA, seL4, TARDEC, virtualization, virtuosity

seL4 and Avionics Security Discussed in IEEE Aerospace and Electronic Systems Magazine

Posted on December 3, 2019 by DornerWorks Ltd.

Tags: avionics, security, seL4

Blog