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
-
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