/boards/ek-lm4f232/boot_serial/rvmdk/