Raspberry Pi port, piCore-15.0 is available!
but in general he can use Microcore
Provisional specification: 700MHz ARM11 128MB of SDRAM OpenGL ES 2.0 1080p30 H.264 high-profile decode Composite and HDMI video output USB 2.0 SD/MMC/SDIO memory card slot General-purpose I/O Open software (Ubuntu, Iceweasel, KOffice, Python)The expected price is $25 for a fully-configured system.