DornerWorks, LLC United States embedded systems, firmware, fpga, hardware engineering, safety critical, sel4 hypervisor, and system integration