FreeBSD not booting on Raspberry with VGA 666

Hello, FreeBSD-11.0-CURRENT-arm-armv6-RPI2-20160121-r294499 did not boot on a Rasberry Pi 2 B with the Gert VGA 666 adaptor connected to the Raspberry's GPIO port. This adaptor basically is a passive resistor network, using most of the GPIO's pins. My guess is that FreeBSD tries to activate

ocaml not building

Hello, on FreeBSD-11.0-CURRENT-arm-armv6-RPI2-20160217-r295683 as well as on the previous snapshot the ocaml port is not building. pkg-static: Unable to access file /usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/stdLabels.p.cmt: No such file or directory Similar error for more