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?