Demonstrating seL4's isolation capabilities for a US Army SBIR, DornerWorks engineers built two simple HTTP servers running on seL4 on both the Xilinx ZU102 (ARM) and Microchip's PolarFire SOC Icicle Kit (RISC-V)....Read more