/nrfdemo/builddk/mcuboot/modules/picolibc/