Here is the work for an RPi3 commit. Checkout the code at the bottom too. Lots of good pointers, although maybe too late for you..
https://reviews.freebsd.org/D14299
Some RPi3 overlay stuff for config.txt I figured out. Never got OneWire Temperaure working. RTC DS3231 I did get working.
https://forums.freebsd.org/threads/onewire-on-raspberrypi3.64033/
Does the OrangePi have an RTC onboard?
Regarding HDMI. I am unclear if this board is actually the same as Crochet OrangePi or is this a new board not yet supported?
Unfamiliar with the OrangePi boards.
Typically HDMI comes last in terms of new board support. Porting the audio driver and HDMI chipset driver takes some skill.
So serial/tty console only is pretty common on Arm.
https://reviews.freebsd.org/D14299
Some RPi3 overlay stuff for config.txt I figured out. Never got OneWire Temperaure working. RTC DS3231 I did get working.
https://forums.freebsd.org/threads/onewire-on-raspberrypi3.64033/
Does the OrangePi have an RTC onboard?
Regarding HDMI. I am unclear if this board is actually the same as Crochet OrangePi or is this a new board not yet supported?
Unfamiliar with the OrangePi boards.
Typically HDMI comes last in terms of new board support. Porting the audio driver and HDMI chipset driver takes some skill.
So serial/tty console only is pretty common on Arm.