/boards/dk-tm4c129x/boot_emac_flash/rvmdk/