Project to build and test seL4 for many different platforms - View it on GitHub