<div>Greetings from Genode/NOVA on my new Thinkpad X250 :)<br></div><div><br></div><div>Almost everything is working perfectly! I'm very excited about my new system.<br></div><div><br></div><div>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?<br></div><div class="protonmail_signature_block protonmail_signature_block-empty"><div class="protonmail_signature_block-user protonmail_signature_block-empty"><br></div><div class="protonmail_signature_block-proton protonmail_signature_block-empty"><br></div></div><div><br></div><div>Enthusiastically,<br></div><div>Joel<br></div>