Comment by fithisux

I think the idea is take what you can and evolve.

Keeping it x86_64 for now makes sense in many respects.

But it could become a real uKernel OS in the long run.