715
The Framework Laptop 13 is about to become one of the world’s first RISC-V laptops
(www.theverge.com)
This is a most excellent place for technology news and articles.
Kernel modules don't have to be open source provided they follow certain rules like not using gpl only symbols. This is the same reason you can use an NVIDIA driver.
Its not enforced so much by law as what the fsf and Linux foundation can prove and are willing to pursue; going after a company that size is expensive, especially when they're a Linux foundation partner. A lot of major Linux foundation partners are actively breaking the GPL.