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 Mimi Miles
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 Mimi Miles
Tags:
AMD
,
virtualization
,
VM Composer
,
Xilinx
Now You Can Virtualize 64-bit x86 Architecture in Your seL4 VMs
Posted on October 15, 2020 by Mimi Miles
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 Mimi Miles
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 Mimi Miles
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 Mimi Miles
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
Virtual Address Translation Trade-offs: Speed vs Size? Static vs Dynamic?
Posted on December 3, 2019 by DornerWorks Ltd.
Tags:
MMU
,
virtualization
,
virtuosity
Benefits and Advantages of Virtualization for Embedded Products
Posted on December 3, 2019 by DornerWorks Ltd.
Tags:
hypervisor
,
virtualization
,
virtuosity
,
Xen
Boost Your Product Capabilities Using A Virtual Console with Xen
Posted on December 3, 2019 by DornerWorks Ltd.
Tags:
hypervisor
,
virtualization
,
Xen
Older Entries >>
Explore More
Most Used Tags
IoT
FPGA
seL4
security
medical
Xilinx
cybersecurity
AMD
isolation
careers
space
Machine Learning
defense
microkernel
SOSA
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
