Attempted to fix deterministic workload generator; still not quite there
Merge branch 'master' of https://github.com/jarulraj/CMU-OS