Explore performance gains by increasing the Linux kernel page size on Arm

[evan314159]

Type of issue

• Instructions in the learning path do not work.
• Spelling error in the learning path.
• Instructions in the learning path are hard to follow.
• Instructions to contribute a new learning path are not clear.
• Other

Describe the issue
Instructions are provided for using 64k but not 16k kernel. 16k kernel is available for Debian (linux-image-arm64-16k).

16k kernels are ideal for consumer devices and both Apple and Raspberry Pi use 16k in their own OS. 16k kernels are not generally available on popular general purpose Linux distributions. If ARM publicised the benefits of 16k kernels and how to deploy, other distributions beyond Debian may adopt as well.

See: https://learn.arm.com/learning-paths/servers-and-cloud-computing/arm_linux_page_size/