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 Foundation
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
By joining the seL4 Foundation, DornerWorks can do more to help accelerate customer adoption of seL4 as the trusted software base for their embedded products....
Read more
Explore More
Most Used Tags
IoT
virtualization
FPGA
productDevelopment
seL4
security
software
Xilinx
linux
opensource
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