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
/
Virtual Machine
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
Use FreeRTOS to Build a Lightweight Xen Virtual Machine
Posted on April 25, 2019 by Jeff Kubascik
Tags:
FreeRTOS
,
linux
,
Virtual Machine
,
virtualization
,
VM
,
Xen
,
XSDK
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
