@ipg when MS opensourced threadx I thought about reimplementing the not-open VC4 port and contributing it back to them in a PR

in the end i didn't but lol