Also new to Plan 9, but similarly interested in a RISC-V port. Is it possible to obtain this hardware currently? The site says it is only available to register for interest.