Thanks! The JH7110 Display Controller is super complex, it might take a while to get it working with NuttX. Right now I'm building the I2C Driver for JH7110, which is needed to power up the PMIC for HDMI Output:
https://github.com/lupyuen/nuttx-star64#power-up-the-i2c-con...