Hi Nico, I gave it a shot with the ports I could find in /sys/devices/.../drm/card0. The display still didn't work and I can't tell if it's stuck in a loop. What am I looking for?
The Ada debug was more verbose than I was anticipating, so I've uploaded non-debug to https://gist.github.com/benjamindoron/ccd48ca85a1627ff939b3c8a35bb879c and debug to https://gist.github.com/benjamindoron/8a64dd68e12b01a19369e5ec2fefe59c.
What would be a good value for the console buffer size?