LinSched: The Linux Scheduler Simulator.
Simics: A full system simulation platform