/boards/dk-tm4c123g/boot_demo2/rvmdk/