I'm interested in using ARM-based boards for development; most of the ones I'm interested in have Mali graphics. But I am not planning on running Linux or Android. As a start, I would like to get a hardware-accelerated video driver for OpenBSD.