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
/
CAmkES
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
By expanding the CAmkES-VM to run 64-bit guests, this increases the feasibility of porting legacy systems....
Read more
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