By the way: Two of the games shown are Red Eclipse and Supertuxkart, both open source and - of course - run on linux. While SuperTuxKart is not that exciting, Red Eclipse is quite fun.
Both probably run on Windows, which is (I bet) what the prototype is running.