60
60
for (i = 0; i < init.cnt; i++) {
61
61
init.binaries[i].addr = (uintptr_t) bootinfo->binaries[i].addr;
62
62
init.binaries[i].size = bootinfo->binaries[i].size;
63
64
str_cpy(init.binaries[i].name, CONFIG_BINARY_NAME_BUFLEN,
64
65
bootinfo->binaries[i].name);