- with hardware I have:
  1. 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