[bcook]

It looks like that's no longer true: https://twitter.com/alyssarzg/status/1429583864679129098

"Up until now both the Asahi and Corellium kernels were on #1. Sven and the #dri-devel crew helped me spin up #2, which is what I'm using now. #3 is the ultimate here be dragons, but will get us 4k display"

[tambre]

That tweet, and the whole thread, only speak of the Display Controller and Linux render/framebuffer management. Graphics drivers are another separate topic, which as the parent noted, aren't usable yet.