Have folks seen https://puri.sm/ ?  Their description of how they are trying

to put together "open" hardware (not 100% there yet) makes me wonder if

it'd be open enough w/re to hardware specs to make it a target for Plan 9

porting/support.

Jim