[seL4] Re: Where are the interrupts disabled in the kernel mode?

Hi Indan, Thanks a lot for your quick reply. And will interrupts be enabled again automatically after exiting trapping? (Is this done automatically by the CPU? So invisible from the source code.)