I think porting PMOS is just an appetizer for nabu, the real highlight is the EDK2 port and the porting of other Linux distributions. I think, based on your work, we can quickly achieve PCizing this device and extending it to all aspects except MacOS.
I think github is much more friendly and easy to use than gitlab, which is used for PMOS, so I strongly hope that your work outside of pure PMOS (Linux Kernel, EDK2) can be put on github. Even though I'm still a kernel rookie, I look forward to making pull requests and contributing