Is 4k page support on the plan ??

[crtthas]

I know 4k page kernel are negatively optimized, it's not worth too much effort. But ... I need to run some emulators on asahilinux, 4k page is required. Is 4k support still on the plan ??? Thanks.

[mkurz]

Not a topic for this repo imho (meanwhile there is this fex/microvm thing already btw)