Your description isn't quite accurate either. IRQ, DART drivers have been written; I2C, UART, NVMe, USB, PCI, USB-C/PD, Wi-Fi drivers have been adapted. I'm cu

Your description isn't quite accurate either. IRQ, DART drivers have been written; I2C, UART, NVMe, USB, PCI, USB-C/PD, Wi-Fi drivers have been adapted. I'm currently working on reverse engineering the display controller and will move onto the GPU after that. Alyssa has been working on the GPU userspace stack and the GLES2 tests are 80% or so passing, running mesa on macOS (open source userspace, Apple's kernel driver). I've spent a lot of time brainstorming the installer and researching the approach, and we already have manual install guide. I'll work on that as soon as the GPU kernel stuff is on track. As for userspace, there's nothing to be done for basic support; you can install any distro userspace you like. The main things there are the Mesa driver and, eventually, helpers for stuff like the Touch Bar (obviously we'll get the non-TB Macs running nicely earlier, TB is an annoying complication). Things are in various stages of development and review, and yes, only IRQ, UART and basic bring-up is upstreamed, but I think you'll find things get to end-user usability a lot faster than you might think.