Please do not do this
He's not running a mathematically proven-correct, secure microkernel
Wyatt Green
Joshua Nguyen
OwO whats this?
sel4.systems
Theres another one here. link is to the page to pay although im sure theres ways around it if u dont want to. this one goes way more in detail and a lot of it is waaay over my head but hopefully it helps! ^_^
dl.acm.org
Adrian Rodriguez
Because it has the benefits of actually knowing what your system is doing, just like open-source, except it goes beyond just claims about what the code is doing and instead ACTUALLY MATHEMATICALLY PROVES that it does what it says it does.
This is so important for the future of security.
Joshua Richardson
Don't listen to
Please do this
But make it nazbol.
Joseph Jenkins
The right can't meme
Austin Nelson
While proven correct for what, one architecture, it is not proven secure.
Lucas Reyes
I don't run sel4 because camkes is shit and i'm too busy with my shitty projects to improve sel4 ecosystem.
Jonathan Walker
...
Brandon Lopez
kek
Easton Nguyen
It is called "shitting up your memes"