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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
