I'm surprised OLPC wasn't mentioned. It is a very Free piece of hardware, excluding the non-free wireless firmware, which will hopefully change.
Of course, truly Free hardware would have all the schematics and ASIC VHDL/Verilog code under a Free license.
Copyright © 2018, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds