Comment by freedrull

So they are writing their own kernel, but moving to using a VM? Why not use an existing kernel if they are moving to using a VM...?