Date   : Fri, 23 Dec 2011 16:40:50 +0000 (GMT)
From   : dabenavidesd@... (Daniel Alejandro Benavides D.)
Subject: About ARM PC

Hi all:
http://www.bbc.co.uk/news/technology-16316439

http://www.bbc.co.uk/blogs/thereporters/rorycellanjones/2011/05/a_15_computer_to_inspire_young.html

I want a Raspberry and Acorn BBC Micro software ports on it. 
Questions: what are the clock speeds of the controller?
Does this need an Embedded OS?

Does everyone want one?

Thanks in advance