Great news: BBC creating new open source cross-platform education based IDE that will run on Raspberry Pi and Linux http://www.linuxuser.co.uk/news/raspberry-pi-to-run-bbc-micro-2/