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

[chenpingyuan--- via Devel]

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.)
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems