An operating system has been released aimed as Raspberry Pi users. PiCore has all but the bare necessities stripped out and is only 24.7mb. The OS, which is based on Linux, really does work though - but don't expect to...