Hi! First of all thank you for this superlative work!
I want to try OSPi but i have a RockPi 4c plus running Frigate NVR that I want to use. This is a good SBC with soldered eMMC module that I consider a big plus.
Has anyone tried to use the HAT in this board? As I know, the GPIO layout seems compatible. For reference, here you can see the GPIO layout of the Rock4
I noticed that the the comparison that i made is taken from the mapping assignment in WiringX library, so they are the same only if using this library i think, what interfacing library is used by OSPi firmware?