Hacker News Reader

> This is rendered even easier by the fact that the kernel is always at the same physical address on Pixel

OpenBSD fixed this back in 2017.

KASLR has been supported on Linux for a long time as well (2014). It has been disabled for GKI images for reasons:

Most kernels have had KASLR support for well over a decade at this point. Linux does too but Pixel has it misconfigured.