This video shows Linux booting (in realtime) on a Raspberry Pi Pico, with console output on a colour LCD screen and PS/2 keyboard input. After booting, the uname command is executed and a C hello world program is run using the C4 compiler/interpreter. The Linux kernel is running inside a RISC-V virtual machine, based on Charles Lohr's mini-rv32ima project. For more details, see https://github.com/tvlad1234/pico-rv32ima
