Joel Desermeau via users wrote:
When I start download_debian, nothing happens. Is anyone else experiencing this?
Yes, I hit the same problem too. There is a problem in a bugtracker, [1], which can be fixed by removing a superfluous pthread.lib.so ROM module from /<your_genode_file_system>/depot/cnuke/pkg/download_debian/19.02-p1/runtime (Though, you should better try updating the index file from cnuke's depot by toggling it in "+"->"Depot"->"Selection" menu twice, and re-downloading the package, because this problem seems to be fixed by cnuke already).
The problem is that the package "pthread" is now missing (because it's currently merged with "libc"), so the "download_debian" package is incomplete (it depends on non-existing package). So, the package is incomplete, but no error is reported by "update", and Sculpt manager doesn't present a configuration dialog for incomplete packages, so the program is not started.
How can I manually use my own .iso?
You can manually put VBox config (*.vbox), an empty *.vdi file and the installation ISO image to the /vm/debian subdirectory on your Genode partition, and call the ISO image "installer.iso". You can create the disk image and VBox config file with your VBox installation in Linux/Windows/another OS and then copy it to your Genode partition.
[1] "sculpt ce: installed package can stay in "installing" state in menu forever #3241": https://github.com/genodelabs/genode/issues/3241#issuecomment-475180636
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users