How interesting. Where's you hear this? > Supposedly the interrupt code of the OS does not save and restore the "running in Thumb mode" flag. So you are out of luck with non-Thumb code.