4 ms·The 64-bit kernel shipped for the Raspberry Pi 5 uses 16KB pages.by ryao 1y agoThe 64-bit kernel shipped for the Raspberry Pi 5 uses 16KB pages.