- with hardware I have: 1. [X] type "hello world" as a USB keyboard 2. [ ] get networking up (ping) 3. [ ] forward port 21 as a USB keyboard 4. [ ] forward a 9p file as a USB keyboard 5. [ ] connect UART as a 9p socket - waiting on hardware: - sdcard slot: 1. [ ] whatever the "hello world" of SD is 2. [ ] as a device on 9p - HDMI socket 1. [ ] PicoDVI hello-world 2. [ ] "PiciDVI" to network 3. [ ] reverse the flow of PicoDVI https://hackaday.com/2022/08/26/bit-banged-ethernet-on-the-raspberry-pi-pico/