The DoomU/Pen-DomU-lum demonstration from DornerWorks pairs open Source Doom with an industrial controller to illustrate the benefits of a seL4 hypervisor on a Xilinx ZCU102 development board....Read more