Installing/Booting FreeBSD on a Rock Pi X

I recently acquired a Rock Pi X. This is a Raspberry Pi clone but with an Intel Atom process (which supports hardware virtualization). When I tried installing FreeBSD on it, the kernel got stuck during the boot process (the exact location might vary for you and your system). 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 to the /boot/device.hints file after you successfully installed the system.