Hi all,
For posterity and those interested, I've posted a note on how to build the image on debian (in a vm, or metal) based on my explorations so far, over on my blog:
at
https://decuser.github.io/operating-systems/genode/sculpt/2022/12/29/buildin...
As I figure stuff out, I'll post from time to time.
Later,
Will