21 Mar
2025
21 Mar
'25
12:44 a.m.
Hi Julia It really depends what kind of library but I imagine most of the existing seL4 libraries assume they are dealing on the level of capabilities, which Microkit largely abstracts from the user. Ivan
On 20 Mar 2025, at 21:07, Julia Royer via Devel <devel@sel4.systems> wrote:
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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems