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

Hello Chen Ping Yuan, On 2023-11-08 13:16, chenpingyuan--- via Devel wrote:

But I didn't find the code which disabled interrupts when entering kernel mode, for example, when a syscall is triggered.

Interrupts are disabled automatically when trapping, so there is no need to explicitly do that. The comment just means that seL4 doesn't do nested interrupt handling. Greetings, Indan