When I start download_debian, nothing happens. Is anyone else experiencing this?
How can I manually use my own .iso?
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
When I start download_debian, nothing happens. Is anyone else experiencing this?
How can I manually use my own .iso?
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users