`mkbootinfo.py` takes each ELF segment and aligns it to PAGE_SIZE to
convert it to a `struct ukplat_memregion_desc`. However, this ends up
generating overlapping memregion descriptors in the case of the ELF
segment corresponding to the TLS sections.
To solve this, simply ensure that the TLS sections are already aligned
by PAGE_SIZE.
Signed-off-by: Sergiu Moga <sergiu@unikraft.io>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #1050
}
#define TLS_SECTIONS \
- . = ALIGN(0x20); \
+ . = ALIGN(__PAGE_SIZE); \
_tls_start = .; \
.tdata : \
{ \