aubeynarf@lemmynsfw.comtoFediverse@lemmy.world•I just had an idea that people smarter than me have probably had long before I heard of Lemmy.....but I don't see it implemented, so I'm sharing it anyways!!!English
101·
3 months agoyeah, communities should have subject tag sets. I don’t care for anime or sports or video games - i should be able to turn off those tags. Not block 50 different game communities ad hoc
Performance is the major flaw with microkernels that have prevented the half-dozen or more serious attempts at this to succeed.
Incurring context switching for low-level operations is just too slow.
An alternative might be a safe/provable language for kernel and drivers where the compiler can guarantee properties of kernel modules instead of requiring hardware guarantees, and it ends up in one address space/protection boundary. But then the compiler (and its output) becomes a trusted component.