Mark IV

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.