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

[chenpingyuan--- via Devel]

Thanks Indan.
Your tips help to clear out my confusion.

Thanks.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems