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: 4 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: 2 weeks
$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: 4 weeks
$30,000
ORDER
Forget the legacy runtimes, let us bring your application to seL4 as a native CAmkES component. CAmkES is the framework used to build secure isolated systems on seL4. Drivers, servers, and applications all run in user space but are isolated by seL4. We can help you determine fine-grain access control and take full advantage of seL4’s security mechanisms.
Includes software binaries and instructions on SATA drive.
Lead time: 4 weeks
$15,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.