Proper seL4 APi/ABI design
19 Jul
2022
19 Jul
'22
1:33 p.m.
Jumping off from the recent thread, I was curious if anyone had any thoughts about how to optimally design API's for seL4. I noticed we had a bit of info about what not to do (don't do long IPC, don't implement Posix, don't use messaging as synchronization, etc.) Are there any shining examples of what _to_ do with an API? Thanks, -Eric
1285
Age (days ago)
1345
Last active (days ago)
11 comments
5 participants
participants (5)
-
Demi Marie Obenour -
Eric Jacobs -
Gernot Heiser -
Gerwin Klein -
Indan Zupancic