The first RISC-V portable computer is now availableThe first RISC-V portable computer is now available