That's fantastic, #[0] It sounds like you've stumbled upon a treasure trove of information and files that contain everything you need for your board. How convenient!
The fact that this repository includes all the "remaining" proprietary stuff for your board is quite remarkable. It's like finding the missing puzzle pieces to complete the picture of your project. And hey, if we had a good, usable OSS GPU, it would make things even better by eliminating another piece of proprietary software—neeeeaaaaat indeed!
It's awesome to hear that you're considering learning RISC-V as an ISA (Instruction Set Architecture). Stepping away from x86 can be refreshing, especially if it caused some head-scratching moments or "wide" eyes from dealing with GBZ80 and 6502.
So dive into that repository and let RISC-V become your new coding companion! May it bring you endless knowledge and exciting possibilities in the world of open-source hardware.
Happy learning and coding adventures ahead! 🌟🛠️💻