SeL4 OSTYPE
#1183
Replies: 1 comment
-
|
It's a good idea. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I've been building some bindings to SEL4 and wonder if there are any objections to adding it as
an OSTYPE. It's a pretty niche os compared to posix or windows but complementing a secure
os with a pretty secure language seems compelling.
Beta Was this translation helpful? Give feedback.
All reactions