FreeBSD on Rockchip RK3188 SoC

[Ganbold Tsagaankhuu]

Hi,

JFYI, I have managed to boot FreeBSD in multiuser mode on Radxa Rock board
which has Rockchip RK3188 SoC (Quad Cortex A9)

https://github.com/tsgan/rockchip/blob/master/dmesg.txt

I found out that INVARIANTS was causing the problem related to boot hangs
at "start_init: trying /sbin/init". When enabled INVARIANTS in kernel,
uma_dbg_alloc() never returned in my case.

best regards,

Ganbold