Hey There, I'm having trouble getting barebox to boot on an Nvidia Jetson TK1. I'm using the tegra-v7_defconfig, and trying to load it to the board via the tegrarcm tool. Has anyone done this before who might have a recipe that works? Thanks! -- +Ryan Du Bois rdub@kamama.com