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?
Enthusiastically, Joel