Raspberry Pi port, piCore-15.0 is available!
linux-3.16.3
uname -aLinux box 3.16.6-tinycore64 #777 SMP Thu Oct 16 10:21:00 UTC 2014 x86_64 GNU/Linux