Pine64's laptops are ARM, but not not RISC-V. they do sell a RISC-V soc (the Star64), but the Rockpro64 chip is ARM.

I want an ARM laptop, but the PinebookPro was a little underpowered for me to use. Some day.