toggle menu
Solutions
Virtuosity XZD
Virtuosity OA
seL4 microkernel
Hardware-Based Acceleration
High-Speed Video
Synchronized Networking
Digital Signal Processing
Product Development
IoT Solutions
Medical Solutions
Results
Aerospace & Defense
Automotive
Consumer
Industrial
Medical
Blog
Careers
About
Partners
Leadership
Resource Library
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
virtualization
FPGA
seL4
productDevelopment
security
Xilinx
linux
opensource
software
medical
hypervisor
MPSoC
SoC
Microchip
View All
Solutions
Virtuosity XZD
Virtuosity OA
seL4 microkernel
Hardware-Based Acceleration
High-Speed Video
Synchronized Networking
Digital Signal Processing
Product Development
IoT Solutions
Medical Solutions
Results
Aerospace & Defense
Automotive
Consumer
Industrial
Medical
Blog
Careers
About
Partners
Leadership
Resource Library
Schedule a Meeting