See OLPC. XO laptops use a custom Red Had Fedora OS running the Sugar user interface. Starting in 2007, they were powered by x86 CPUs but were switched to ARM chips in 2013 with the XO-4 Touch.
Results that may be inaccessible to you are currently showing.