@AC

While it certainly has some interesting and experimental pioneer character, it might be barely usable for mission critical applications, since it only works with a single CPU - who wants to run a mission critical app on a single CPU?

But I'm sure it is a good path and with this going public and certainly be perused in various niches, it will be a good base for a possible multi CPU lockstep technology. But if one knows how complicated it may be to make SMP efficient even on one OS, you also know how difficult it will be to keep two OSs with SMP in lockstep.