Installing FreeBSD on a Rock Pi X

I recently acquired a Rock Pi X — a Raspberry Pi-style board with an Intel Atom processor (which supports hardware virtualisation). When I tried installing FreeBSD on it, the kernel got stuck during the boot process. It turns out you need to disable the uart driver. You can do this before the kernel boots by setting:

set hint.uart.0.disabled="1"
set hint.uart.1.disabled="1"

Don’t forget to add these lines to /boot/device.hints after the system is successfully installed.