Debian installed perfectly!! I didn't realize at first. The URL resolved properly, but I was under the assumption that it froze right afterward. It turns out that I needed to instantiate the "vm" module.
I figured this out the hard way. I was reading the Sculpt documentation (which I think is slightly outdated), and manually uncommented the following modules from /config/deploy : shared_fs usb_devices_rom vm_fs wm vm and everything worked! I don't think I needed to uncomment everything listed, but it worked nonetheless. Thank you for this exciting opportunity. I'm looking forward to a new year of Genode development :D ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Tuesday, February 12, 2019 2:42 AM, Christian Helmuth <[email protected]> wrote: > Hello Joel, > > On Mon, Feb 11, 2019 at 08:55:28PM +0000, 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. > > That's great news and actually I am using the same setup every day! > > > 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? > > Unfortunately, the Debian developers seem to remove outdated versions of > the ISO on new releases. I was about to point you to Josef's package > updates > > 18.09-p1 for Sculpt VC > 18.11 for release 18.11 > > but those are already outdated since end of January. But you may still > adapt the link in the pkg by yourself like follows in the Leitzentrale > Inspect terminal of your "Used" installation volume (for example > /ahci-0). > > - vim /ahci-0/depot/cnuke/raw/download_debian/2018-08-30/init.config > - Find "netinst.iso" > - Replace > > https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-9.5.0-amd64-netinst.iso > by > > https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-9.7.0-amd64-netinst.iso > > - Depending on your Sculpt version you may have to toggle "Use" of the > installation volume > > - Launch "download_debian" > > Good luck > -- > Christian Helmuth > Genode Labs > > https://www.genode-labs.com/ · https://genode.org/ > https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ > > Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden > Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth > _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
