toggle menu
Solutions
Virtuosity XZD
Virtuosity OA
seL4 microkernel
Hardware-Based Acceleration
High-Speed Video
Synchronized Networking
Digital Signal Processing
Product Development
IoT Solutions
Medical Solutions
Results
Aerospace & Defense
Automotive
Consumer
Industrial
Medical
Blog
Careers
About
Partners
Leadership
Resource Library
Schedule a Meeting
Blog
Home
/
Blog
/
seL4
How the Center of Excellence is Expanding the seL4 Ecosystem in the U.S.
Posted on January 6, 2021 by Matthew Russell
Tags:
CenterofExcellence
,
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 Matthew Russell
Tags:
64bit
,
CAmkES
,
multicore
,
SATA
,
seL4
,
virtualization
,
VirtualMachine
,
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
,
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
Older Entries >>
Explore More
Most Used Tags
IoT
virtualization
FPGA
seL4
productDevelopment
security
Xilinx
linux
opensource
software
medical
hypervisor
MPSoC
SoC
Microchip
View All
Solutions
Virtuosity XZD
Virtuosity OA
seL4 microkernel
Hardware-Based Acceleration
High-Speed Video
Synchronized Networking
Digital Signal Processing
Product Development
IoT Solutions
Medical Solutions
Results
Aerospace & Defense
Automotive
Consumer
Industrial
Medical
Blog
Careers
About
Partners
Leadership
Resource Library
Schedule a Meeting