Divya Lakshmanan

Hi, I am trying to boot up Genode on iMX6. I have used MFGTool to flash the bootloader, linux kernel and a Genode .img file- which was supposed to display a hello world message. I ended up bricking my device. I am considering using uboot now. I have generated uboot files for wand_quad using the .create_uboot script. Can you tell me how I can go about using uboot to boot Genode? Which kernel can I use? I need to flash the bootloader on the NAND and not the SD card. Thank you, Regards, Divya