Slashdot points to a PC world article on a $57 board that runs Debian. There are links to competitors too. https://www.pcworld.com/article/2013622/tiny-57-pc-is-like-the-raspberry-pi-but-faster-and-fully-open.html