Development platform for prototyping separation kernel applications - View it on GitHub