Una vez que el compilador AOT estaba lo suficientemente desarrollado, el equipo comenzó a codificar el kernel.