toggle menu
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting
Blog
Home
/
Blog
/
sourceCode
Modular Build and Binary Verification for seL4
Posted on December 3, 2019 by DornerWorks Ltd.
Tags:
opensource
,
seL4
,
sourceCode
DornerWorks has open-sourced code and instructions for multi-company software development, while protecting IP, using the seL4 microkernel....
Read more
Explore More
Most Used Tags
IoT
FPGA
software
Xilinx
linux
medical
test
careers
automation
testing
assetTracking
defense
Robot
RobotFramework
AutomatedTest
View All
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting