Hello, On 02.01.2018 19:42, Baconicsynergy via genode-main wrote: > 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.
by default you will find a file build/wand_quad/var/run/<run-name>/image.elf, which could be used by your u-boot with the 'bootelf' command (if supported by the bootloader on your sd-card). You may also build an Genode image to be used with 'bootm' command of your u-boot. Add to the RUN_OPT in your build/wand_quad/etc/build.conf RUN_OPT += --include image/uboot After you invoked the re-run the run script you will find the image under build/wand_quad/var/run/<run-name>/uImage The u-boot (and SD-card) you have to setup yourself. Either you have one already shipped with your board or you may try to create a u-boot using our tool in "tool/create_uboot". Hope it helps, Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ 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