I wonder how much open source stuff I'm going to see today? My guess would be not a huge amount aside from the Raspberry Pi-ness, but I'm hopeful. Don't get me wrong, I really like a lot of closed source software, but can't help get the impression that education would benefit from broadening its IT infrastructure horizons. The cost saving alone would be huge.
That said, Google Chrome OS and android are Linux, so open source at the core. The Google classroom system opened up a world of savings when that kicked off, and it's only got better.
Plus teaching pupils to use Linux is teaching them how to use the core underlying systems that run the majority of internet servers, and that's got to be a bonus!
I can't but help think we're missing a trick somewhere....