On 12/25/22 8:29 PM, Colin Parker wrote:

make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc

----------
Error: recipe for 'pkg/bsd_audio_drv' not found - unable to guess version
make: *** [Makefile:431: run/sculpt] Error 1
make: Leaving directory '/home/wsenn/genode/build/x86_64'
----------

bsd_audio_drv is in the dde_bsd repo, did you try enabling that in your build.conf?

Yeeha! That and a tweaked path:

vi ~/.bashrc
export PATH=$PATH:/sbin

(needed for resize2fs) and I got an image that worked, yay!

I think I'll give it a shot on metal, next. Then I'll try doing the fancier build and tweaking on the wifi.

Thanks for the assist. I'm making progress.

Will