seL4 Archives - DornerWorks

seL4 on the RISC-V Rocket Chip Enables Virtualization for High Assurance Systems

Posted on October 3, 2022 by Eric Spidle

Picture this: A company who specializes in high assurance embedded systems has a customer who needs a specific set of specifications for an embedded core. The market does not offer any cores that meet this spec, and the system...Read more

How to Isolate your Critical Applications from Cyber Threats on seL4

Posted on August 25, 2022 by Lourens Willikes

Tags: cyber, cybersecurity, high-criticality, mixed-criticality, seL4

How seL4 can Protect Against Massive Data Breaches

Posted on April 27, 2021 by Matthew Russell

Tags: cyberresilience, cybersecurity, isolation, microkernel, security, seL4, signedBoot, trustedBoot

Defend Your Devices Against a Common and Insidious Hack with seL4

Posted on March 31, 2021 by Matthew Russell

Tags: cybersecurity, demo, isolation, Microchip, PolarFireSOC, seL4, separation

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

Posted on January 6, 2021 by Matthew Russell

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

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

Posted on October 15, 2020 by Matthew Russell

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 Matthew Russell

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 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, space, virtualization

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

Posted on April 23, 2020 by Matthew Russell

Tags: cybersecurity, isolation, medical, security, seL4

Older Entries >>

Blog