Commercial Off-The-Shelf seL4-based Distributions

Accelerate development with a commercial off-the-shelf seL4-based distribution that fits your goals

High assurance embedded virtualization at your fingertips.

Start innovating with the formally proved, open source seL4® hypervisor today.

Select from one of several popular Commercial Off-The-Shelf seL4-based Distributions, which combine popular hardware targets and operating system options for your virtual machines (VM).

You will receive a binary image and instructions for running the image on your hardware within the specified lead time.

There are no licensing fees and you have total freedom to use these binaries as you see fit.

DISTRIBUTION 1

Avnet Ultra96 dev board with 2 Linux Virtual Machines (VMs)

This entry distribution is configured to run two separate instances of Linux OS on the low cost Ultra96.

VM0 is exclusively allocated the SD card after bootup, allowing your software to act as gate keeper to which files VM1 can access.
VM1 is allocated with sole access to the WiFi network interface, allowing you to control external access to VM0.

Includes software binaries and instructions.

Lead time: 4 weeks
$10,000

GET THE DISTRO

DISTRIBUTION 2

Xilinx ZCU102 dev board with 3 Linux VMs

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.

Lead time: 4 weeks
$22,000

GET THE DISTRO

DISTRIBUTION 3

Xilinx ZCU102 dev board with 3 Linux VMs and 1 FreeRTOS VM

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.

Lead time: 4 weeks
$30,000

GET THE DISTRO

DISTRIBUTION 4

x86 NUC dev board with 2 Linux VMs

Taking advantage of the wide adoption of x86 processors, this distribution provides a two VM configuration with disk and network access for your application development needs.

Includes software binaries and instructions.

Lead time: 4 weeks
$30,000

GET THE DISTRO

DISTRIBUTION 6

NVIDIA Jetson TX2 or TX2 NX with 2 Linux VMs

This distribution pairs the security provided by the seL4 Hypervisor with the AI computing properties provided by the NVIDIA TX2 platform. VM0 is given the hardware resources to handle complex calculations required by your custom software while VM1 is free to handle the general purpose needs of the system.

Includes software binaries and instructions.

Lead time: 7 weeks
$38,000

GET THE DISTRO

Custom distribution

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.

GET THE DISTRO

If you would rather build your own distribution, we have a tool that can accelerate your development.

DornerWorks VM Composer is a configuration tool and the “easy button” that helps organizations develop and deploy virtualized high-assurance systems using a drag-and-drop interface.

Learn more in the video below.