8 dollar linux computers were a thing before riscv as well btw, i remember buying 50 chip computers (9$ at the time) for my university linux users group.