[1vuio0pswjnm7]

A tablet that can boot from SD card

Maybe it could boot NetBSD

https://wiki.netbsd.org/ports/evbarm/rockchip/

[rjsw]

> Maybe it could boot NetBSD

It would need a port of UEFI to the tablet, NetBSD doesn't use u-boot and FDT for RK356x SOCs.

[1vuio0pswjnm7]

Looks like NetBSD currently only has U-Boot for RK3328 and RK3399