Thank you very much for the quick response, Stefan :)
I built a simple log Genode scenario for wand_quad for testing purposes, and I am previously used to receiving iso images for x86_32/x86_64.
However, there is no iso image! I am left with a log.core file in the var/run directory and I don't know how to construct a bootable microSD card image from these files.
Forgive my ignorance, and many thanks for the help!! Joel Desermeau