Variable page size

The virtual memory manager may use variable page sizes if the processor supports them and there's a benefit to doing so.

Using a variable page size can improve performance because:

• You can increase the page size beyond 4 KB. As a result, the system uses fewer TLB entries.
• There are fewer TLB misses.

If you want to disable the variable page size feature, specify the -m~v option to procnto in your buildfile. The -mv option enables it.