DornerWorks

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 has received interim endorsement as a Trusted Service Provider for seL4-based systems. https://DornerWorks.com DornerWorks seL4 Microkernel Engineering Services

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

Industries

• Defense
• Medical
• Aerospace
• Automotive
• Industrial

Contact

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