hello Joel
On 11.02.19 21:55, baconicsynergy--- via users wrote:
Greetings from Genode/NOVA on my new Thinkpad X250 :)
Almost everything is working perfectly! I'm very excited about my new system.
However, when I try to run the Debian installation, it fails to find the proper URL and nothing happens. What configuration file can I modify to fix this issue so I can point the URL in the right direction?
The Debian downloader is built from the tree located at https://github.com/cnuke/genode/tree/pkg_download_debian-18.11.
You can cherry-pick the last commit from there and modify it.
Best regards, Pirmin