This is an old revision of the document!
Tinypilot is a distribution of linux specifically for pypilot.
Currently only raspberry pi (all types) are supported, but primarily the raspberry pi zero W is targeted.
It is accessible over wifi via tinypilot ssh
The nokia5110 daylight visible display is connected, and buttons or IR remote can be used to configure the autopilot through this interface.
Tinypilot is built on http://tinycorelinux.net/