ramsondon/ottos — pull request #37 by thomasbargetz (2011-11-30 10:18:37+00:00)
Title: restoring stack pointer of interrupt handler before context switch

... switch