seL4 foundation logo


An Endorsed Service Provider for seL4-based systems

DornerWorks Ltd DornerWorks helps product makers turn their ideas into reality with FPGA, hardware, and embedded software engineering expertise. We accelerate your product development and lower risk for adopting advanced technologies. One of our specialties is seL4 microkernel-based development. DornerWorks, a founding member of the seL4 Foundation, can accelerate integration of seL4 as the trusted software base for your products.
DornerWorks Ltd is an Endorsed Services Provider for:
  • systems: kernel platform port
  • systems: user-level OS (VM)
  • systems: application

DornerWorks Ltd Services

  • seL4 Microkernel
    • Configuration, integration, customization, and system optimization
  • Guest OS and hardware porting
  • Virtualization and hypervisor distributions
  • FPGA platforms
    • Hardware based acceleration
    • FPGA IP
    • High-speed video
    • DSP
    • Synchronized networking
  • Connected products for IoT
  • Medical device product development


  • Defense
  • Medical
  • Aerospace
  • Automotive
  • Industrial


DornerWorks, Ltd.
3445 Lake Eastbrook Blvd SE
Grand Rapids, MI 49546
Phone: +1.616.245.8369