search

seL4 / microkit

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

tool: Handle unaligned PD segments #81

Closed nspin closed 5 months ago

nspin commented 8 months ago

Correctly handle PD segments whose start vaddrs do not lie on page boundaries.

Ivan-Velickovic commented 5 months ago

Surprised this is a simple one line change, but I couldn't find any other instances where it wasn't considering the segment alignment. Thanks!