Everything was running on a PC, because the PS4's hardware isn't finalized yet. However, the PS4 hardware's using x86, so the demos weren't all bullshit - they were likely running on PCs that were on a near-identical spec, possibly even a PS4 devkit.