20 Mar
2025
20 Mar
'25
11:07 a.m.
Hi, I understand that Microkit simplifies the seL4 API. However, I would like to know if it is still possible to use seL4 libraries when working with Microkit. If so, is there any benefit to doing so? Thank you in advance for your help. Kind regards, Julia Royer