Use new interrupt exceptions. Expose per-process timers to Python.
Redesign the scheduler class to use new timers.
Redesign the scheduler class to use new timers.