"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"
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.
