Configurations - DornerWorks

Accelerate development with a seL4 configuration 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 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.

CONFIG 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 on SD card.

Lead time: 4 weeks
$5,000

ORDER

CONFIG 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 on SD card.

Lead time: 2 weeks
$20,000

ORDER

CONFIG 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 on SD card.

Lead time: 4 weeks
$30,000

ORDER

CONFIG 4

Microchip PolarFire SoC with Native seL4 CAmkES

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

Custom configuration

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.