OpenBSD works on Banana Pi R1

Hello. I want to report my relative success running OpenBSD on the Banana Pi R1. HDMI and Ethernet is not working, although there is a driver for ethernet in NetBSD: https://mail-index.netbsd.org/port-arm/2015/04/05/msg003031.html

This is the way to install OpenBSD: How to install OpenBSD on the Banana PI R1

It would be really nice to have more documentation for this SoC in order to make HDMI work.

Hello, i want to install Openbsd on my Banana Pi R1, please can you help me?