I know it's probably been a while since you look into the elfboot code.
In the elfboot.c
When it tries to build the ELF segment list, it checks if the segment
address is valid by walking through the table of valid memory ranges.
What is the reason to do this? Below is the code, the "if " statement
seems only guarantee that the new addresses INTERSECT with the valid
memory range, not fully contained.
for(i = 0; i < mem_entries; i++) {
uint64_t mstart, mend;
uint32_t mtype;
mtype = mem->map[i].type;
mstart = mem->map[i].start;
mend = mstart + mem->map[i].size;
if ((mtype == LB_MEM_RAM) && (start < mend) && (end >
mstart)) {
break;
}
}