a Linux bootable from eMMC http://www.hardkernel.com/main/products/prdt_info.php?g_code=G138750148750