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
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to