Development platform for separation kernel applications