Raspberry Pi port, piCore-15.0 is available!
perhaps one of these?https://en.wikipedia.org/wiki/List_of_Intel_Celeron_processors#Celeron_M/Celeron_(single-core)also thought you might be interested in this thread from another forum:https://dev1galaxy.org/viewtopic.php?id=7424