DornerWorks has open-sourced code and instructions for multi-company software development, while protecting IP, using the seL4 microkernel....Read more