seL4 libraries compatibility with Microkit
20 Mar
2025
20 Mar
'25
9:07 p.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
369
Age (days ago)
370
Last active (days ago)
2 comments
2 participants
participants (2)
-
Ivan Velickovic -
Julia Royer