PintOS Ballenizado

Para lograr que PintOS corra en tu OS sin tener que pasar por procesos largos, una solución es utilizar docker con una imagen de Ubuntu 16.

Esta guía permite utilizar una imagen que ya tiene lo que necesita para correr PintOS, también sigue utilizando el mismo contenedor creado, por lo que cambios que haga sobre este se quedarán guardados.