microkit
microkit copied to clipboard
Use larger pages when mapping in large ELFs
Right now all PD ELF data is mapped in with the smallest page size, 4KB. This introduces quite a lot of overhead for large ELFs.
The most extreme example we have run into so far is when packaging a virtual machine's image into the VMM PD's ELF. In the case of a VMM managing a Linux guest, this can lead to an ELF size that is dozens of megabytes.