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
AI/ML Acceleration
Connected Product Development
Medical Device Engineering
Blog
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting
Blog
Home
/
Blog
/
virtualization
High Assurance Containers Integration with seL4 Virtualization: Revolutionizing Aerospace and Defense Markets
Posted on April 21, 2023 by Matthew Russell
Tags:
containers
,
FACE
,
high assurance
,
MOSA
,
seL4
,
SOSA
,
virtualization
,
VM Composer
Any organization that requires high levels of security and reliability in their computing systems can benefit from high-assurance containers integration with seL4 virtualization. ...
Read more
Reduce the Complexity of Developing High Assurance Systems with VM Composer On AMD Silicon
Posted on June 8, 2022 by Matthew Russell
Tags:
AMD
,
virtualization
,
VM Composer
,
Xilinx
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
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
How Linux Accelerates Multi-Discipline Development Efforts and Strengthens Businesses
Posted on May 1, 2020 by Matthew Russell
Tags:
IoT
,
linux
,
LinuxFoundation
,
Open Source
,
Product Development
,
security
,
virtualization
Everything* You Ever Wanted to Know about Virtualization (but Were Afraid to Ask)
Posted on December 5, 2019 by DornerWorks Ltd.
Tags:
MPSoC
,
virtualization
,
virtuosity
Booting Xen using a FIT image
Posted on December 3, 2019 by Robert VanVossen
Tags:
FIT Image
,
virtualization
,
Xen
Boost Your Product Capabilities Using A Virtual Console with Xen
Posted on December 3, 2019 by DornerWorks Ltd.
Tags:
hypervisor
,
virtualization
,
Xen
Benefits and Advantages of Virtualization for Embedded Products
Posted on December 3, 2019 by DornerWorks Ltd.
Tags:
hypervisor
,
virtualization
,
virtuosity
,
Xen
Virtual Address Translation Trade-offs: Speed vs Size? Static vs Dynamic?
Posted on December 3, 2019 by DornerWorks Ltd.
Tags:
MMU
,
virtualization
,
virtuosity
Older Entries >>
Explore More
Most Used Tags
IoT
FPGA
seL4
virtualization
security
software
Product Development
Xilinx
medical
linux
cybersecurity
AMD
hypervisor
Ethernet
space
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
AI/ML Acceleration
Connected Product Development
Medical Device Engineering
Blog
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting