Development platform for prototyping separation kernel applications