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