Hacker News Reader

Android kernel is a mainstream Linux kernel, with additional drivers, and other functionality.

I am aware. This does not change what I said.

The linux kernel already works perfectly fine with various base page sizes.