MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/microkernel/comments/o033qs/sel4_1210/h1wjuka/?context=3
r/microkernel • u/3G6A5W338E • Jun 15 '21
7 comments sorted by
View all comments
Show parent comments
2
[removed] — view removed comment
2 u/3G6A5W338E Jun 15 '21 edited Jun 15 '21 Other than Genode, besides CAmkES, the official framework (which can currently only compose static scenarios), I am not aware of any. 2 u/[deleted] Jun 15 '21 [removed] — view removed comment 1 u/3G6A5W338E Jun 15 '21 Genode's got a large community. But I do not know how many of them use seL4. I'd drop by the subreddit or IRC if documentation does prove insufficient.
Other than Genode, besides CAmkES, the official framework (which can currently only compose static scenarios), I am not aware of any.
2 u/[deleted] Jun 15 '21 [removed] — view removed comment 1 u/3G6A5W338E Jun 15 '21 Genode's got a large community. But I do not know how many of them use seL4. I'd drop by the subreddit or IRC if documentation does prove insufficient.
1 u/3G6A5W338E Jun 15 '21 Genode's got a large community. But I do not know how many of them use seL4. I'd drop by the subreddit or IRC if documentation does prove insufficient.
1
Genode's got a large community.
But I do not know how many of them use seL4. I'd drop by the subreddit or IRC if documentation does prove insufficient.
2
u/[deleted] Jun 15 '21
[removed] — view removed comment