Has FreeBSD been successfully built for the Asus Tinker Board (see https://www.asus.com/us/Single-Board-Computer/Tinker-Board/overview/)? This looks like a fairly generic ARM board using the RockChip RK3288. Specs at https://www.asus.com/us/Single-Board-Computer/Tinker-Board/specifications/ --Brett Glass