Efforts to use Debian on an ancient ARM netbook, including making Debian the firmware