Linux on a $0.15 RISC-V microcontroller
Linux on Arduino UNO / atmega328p port of mini-rv32ima. Let's run Linux on one of the world's worst Linux PC
