microkit icon indicating copy to clipboard operation
microkit copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Add 1GiB page size for AArch64

Open Ivan-Velickovic opened this issue 1 year ago • 0 comments

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.

Ivan-Velickovic avatar Feb 21 '24 06:02 Ivan-Velickovic