does anyone know how to properly run linux on the 3ds?