Y'all know multiple other groups have shipped fast, free microkernels already, right? http://genode.org http://sel4.systems