Quick notes regarding system software issues, references to related work, ideas for future work, and any interesting result along the way.
See the lsub web site.
Wednesday, September 18, 2013
We have exported our mark iv kernel.
It can be found at the Nix page.
Beware it's a development version not yet in production. We have been using it but you should expect bugs and problems.
Enjoy either way.