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