As for the lack of an accessible GIC, the VPU runs ThreadX, which has a software timer infrastructure: no reason I can see they couldn't expose those if they wanted.
Can someone explain this to me? I know almost nothing about virtualization, but isn't it be definition slower than straight up OS install?
With that phrase I meant that, following this guide, you can make use of the Virtualization Extensions from the Cortex-A7 which powers the Raspberry Pi 2.
This is pretty useful for running multiple isolated services (such as a media server and an ownCloud instance), doing some kernel hacking, or testing a variety of ARMv7 distributions.
There will apparently be an ARM version of Windows 10 for the pi, but that's a cut down version for internet of things type apps.
You can emulate x86 on ARM with something like QEMU. But the performance wouldn't be good enough for any modern OS.
There were also some demos of Android and Windows CE running on the same hardware before ARM had intentional hardware virtualization support.
Let's hope that'll be enough to bear with the warm, warm hug of Hacker News ;-)