microkit icon indicating copy to clipboard operation
microkit copied to clipboard
verified publisher icon seL4

Remove IRQ ack in libmicrokit init

Open Ivan-Velickovic opened this issue 2 months ago • 0 comments

To revisit if/once https://github.com/seL4/seL4/issues/1536 is sorted out.

Ivan-Velickovic avatar Nov 17 '25 04:11 Ivan-Velickovic