In genode 17.05, I'm having difficulties with tool "create_uboot". Perhaps there are some preparatory steps or usage guidelines that I am missing.... The error manifests as (below). Any suggestions about what might be amiss? (Goal is preparing an image for wand quad.)

$ ~/genode/tool/create_uboot wand_quad Already on 'genode_wand_quad' Your branch is up-to-date with 'origin/genode_wand_quad'. Building U-Boot config... make[1]: Entering directory '/home/user/genode/contrib/uboot' make[2]: Entering directory '/home/user/genode/contrib/uboot/build/wand_quad' GEN ./Makefile # # configuration written to .config # make[2]: Leaving directory '/home/user/genode/contrib/uboot/build/wand_quad' make[1]: Leaving directory '/home/user/genode/contrib/uboot' Building U-Boot images... make[1]: Entering directory '/home/user/genode/contrib/uboot/build/wand_quad' GEN ./Makefile scripts/kconfig/conf --silentoldconfig Kconfig CHK include/config.h GEN include/autoconf.mk GEN include/autoconf.mk.dep GEN spl/include/autoconf.mk In file included from /home/user/genode/contrib/uboot/include/linux/compiler.h:54:0, from /home/user/genode/contrib/uboot/include/linux/byteorder/little_endian.h:12, from /home/user/genode/contrib/uboot/arch/arm/include/asm/byteorder.h:29, from /home/user/genode/contrib/uboot/include/compiler.h:125, from /home/user/genode/contrib/uboot/include/image.h:19, from /home/user/genode/contrib/uboot/include/common.h:82: /home/user/genode/contrib/uboot/include/linux/compiler-gcc.h:114:30: fatal error: linux/compiler-gcc6.h: No such file or directory #include gcc_header(__GNUC__) ^ compilation terminated.

... Repeats ...