seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Use correct memory region page size #9

Closed Ivan-Velickovic closed 1 year ago

Ivan-Velickovic commented 1 year ago

Without this change this causes issues when trying to use a 2MiB page size with a region that's larger than 2MiB since the call to allocate_fixed_objects is using whatever page_size was last set as, rather than what the current memory region's page size is.