toggle menu
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
Trusted System Software
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Career Opportunities
College Opportunities
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
,
virtualization
,
VirtualMachine
,
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
FPGA
seL4
productDevelopment
security
software
Xilinx
medical
hypervisor
isolation
Microchip
cybersecurity
space
microkernel
hardware
View All
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
Trusted System Software
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Career Opportunities
College Opportunities
Schedule a Meeting
