6 ms·
What even is a 20% delta in performance? Like a five year old difference in hardware design. If I could get a micro kernel with a better security profile than
by 0cf8612b2e1e 2mo ago
What even is a 20% delta in performance? Like a five year old difference in hardware design.
If I could get a micro kernel with a better security profile than Linux, that doesn’t sound so bad. I could easily be using a ten year old chip for my day to day browsing and probably wouldn’t notice.
- yjftsjthsd-h 2mo ago> If I could get a micro kernel with a better security profile than Linux, that doesn’t sound so bad. I suggest that you look at genode/sculpt:)