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