The result was merge to Raspberry Pi. (non-admin closure) —Theopolisme 20:07, 22 December 2012 (UTC)[reply]
No evidence of notability other than a few blogs that pretty much cover anything Raspberry Pi related. Guy Macon (talk) 15:57, 16 December 2012 (UTC)[reply]
It's the current default OS, though yes, it's only relevant to the RPi. If this is removed there should at least be more info on it on the Raspberry Pi wiki page. Xero Xenith (talk) 16:25, 16 December 2012 (UTC)[reply]