Re: Build issue

2022-12-25 Thread Will Senn
All, I got the Sculpt 22.10 build working in Debian 11.6 Bullseye via VirtualBox. Now that I've successfully built the bootable image, burned it to USB, and deployed it successfully to my t430 a couple of times, I'll try doing the build on Debian running on the t430. Here's the cleaned up set

Re: Build issue

2022-12-25 Thread Will Senn
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' --

Re: Build issue

2022-12-25 Thread Colin Parker
> > > 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 d

Build issue

2022-12-25 Thread Will Senn
OK. I'm trying to build Sculpt. I'm a naive newb, so I appreciate your patience as I come up to speed. Below are the details of my exploration into this new world. I've made progress through trial and error, but I've hit the following show stopper (I can't riddle out how to get around it). I d

Re: building on linux

2022-12-25 Thread Will Senn
Hi Norman, Merry Christmas :). I'm chilling and learning about Sculpt on this holiday, hope you're also enjoying the day. No rush on getting back to me! These are great helps. Two things: 1. I think you meant 11.5 "bullseye"? 10.5 is "buster". I downloaded 11.6 as a base and will use that in

Re: building on linux

2022-12-25 Thread Norman Feske
Hi Will, 1. What distro (exactly) do y'all use - it says Ubuntu LTS in the docs - so Ubuntu 22.04.1 LTS is the current version - is that it? I have the luxury of picking whatever I like (thankfully, I'm a debian user, so Ubuntu/Mint/Debian are fine with me) I'm currently using Debian 10.5 (b