genode-HW-Memtrace

genode driver

Insert the genode folder in the genode base folder -> installs drivers

uboot

get git://github.com/Xilinx/u-boot-xlnx.git and patch with u-boot-xlnx folder

scripts/fpga_bit_to_bin.py

see https://github.com/topic-embedded-products/meta-topic/blob/master/recipes-bsp/fpga/fpga-bit-to-bin/fpga-bit-to-bin.py