Untitled attachment

Notices where this attachment appears

1. Christmas Personified as a Catgirl (moonman@shitposter.club)'s status on Friday, 28-Sep-2018 05:08:16 JST Christmas Personified as a Catgirl
   @pybyte SEL4 has a whole coding tutorial section that introduces you to the features, it's pretty cool. https://docs.sel4.systems/Tutorials/seL4_Tutorial_1.html 
   
   As for improvements, I know that other L4 variants have dramatically reduced the time it takes to make syscalls, but I don't know specifics on what was changed.