Hi,
    Just to followup to the suggestion of implementing modules which
others could use to implement OSes...
    We've implemented a uKernel named Off using the Flux OS toolkit.
Perhaps you could give your ideas quickly a try using this OSKit. At
least, it's do the job for us.
See http://www.gsyc.inf.uc3m.es/~nemo/off for information about Off
and pointers to the OSKit.
HTH
  -Nemo.