Add 1GiB page size for AArch64

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

68 stars 37 forks source link

Add 1GiB page size for AArch64 #105

Open Ivan-Velickovic opened 4 months ago

Ivan-Velickovic commented 4 months ago

Currently Microkit supports 4K and 2MiB page sizes. It would be fairly easy to add 1GiB page sizes as well which would be useful especially for things like virtual machines.