DornerWorks
Home / Solutions / SoC Service and Support / seL4 microkernel / Configurations

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.
DornerWorks seL4 configuration block diagram for Avnet Ultra96 dev board with 2 Linux Virtual Machines (VMs).
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.
DornerWorks seL4 configuration block diagram for Xilinx ZCU102 dev board with 3 Linux VMs.
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.
DornerWorks seL4 configuration block diagram for Xilinx ZCU102 dev board with 3 Linux VMs and 1 FreeRTOS VM.
Lead time: 4 weeks
$30,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.

CONTACT US