[9fans] ARM based terminal?

[Steve Simon]

I want to build a net booting silent plan9 terminal
which will talk to a usb keyboard and mouse, and
will drive an HDMI monitor at somthing like 1900x1200.

Am I still stuck with x86 or is there an ARM solution these days?

-Steve