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 christian.helmuth@genode-labs.com 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... by https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-9.7.0-amd64...
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