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
/
multicore
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
By expanding the CAmkES-VM to run 64-bit guests, this increases the feasibility of porting legacy systems....
Read more
A Future-Facing Framework That Maps Out Multicore Architecture Isolation and Partitioning in Avionics
Posted on November 26, 2019 by Matthew Russell
Tags:
aerospace
,
avionics
,
critical
,
isolation
,
modular
,
MPSoC
,
multicore
,
partitioning
,
safety
Explore More
Most Used Tags
IoT
virtualization
FPGA
seL4
security
software
medical
Xilinx
linux
Microchip
cybersecurity
space
test
safety
careers
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
