Start innovating with the formally proved, open source seL4® hypervisor today. Select from one of several popular combinations of hardware targets and operating system options for your virtual machines (VM).
You will receive a binary image and instructions for formatting an SD card in your email within the indicated lead time, and an SD card fully populated with the software executables and configurations ready to run on your hardware will arrive in your mail box 2-3 business days after that.
There are no licensing fees and you have total freedom to use these binaries as you see fit.
This entry distribution is configured to run two separate instances of Linux OS on the low cost Ultra96.
Includes software binaries and instructions on SD card.
Lead time: 2 weeks
$5,000
This distribution builds on our two VM version by adding a third VM running your “secret sauce” on Linux on the more I/O capable ZCU102 board.
Includes software binaries and instructions on SD card.
Lead time: 1 week
$20,000
ORDER
This distribution offers the versatile and capable mix of three Linux VMs and a real-time operating system VM. The RTOS VM has control of the CAN bus so you can handle those pesky CAN messages in real time.
Includes software binaries and instructions on SD card.
Lead time: 2 weeks
$30,000
ORDER
Not seeing the OS, hardware platform, or I/O option you need? No worries, we’re here to help create the perfect configuration for your product.