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.