4 ms·A short sentence about WHY would be helpful for people not knowing about seL4 or rust.by mkesper 11y agoA short sentence about WHY would be helpful for people not knowing about seL4 or rust.