already did that here:
The post that I'm replying to is a reply to which is a reply to
So where is the Btrfs support???
Protip: it doesn't
Kernels
Bentley Garcia
Zachary King
Congrats on proving your low reading comprehension skills.
But I'll give you benefit of the doubt. Am I supposed to assume that all microkernels support btrfs? You've provided no source. What about everything that the plan9 kernel supports and that microkernel 'A', 'B', etc don't support? You have provided 1 piece of minor evidence, it hardly disproves the quote I posted. Of course you also have to show that whatever microkernel you choose is also smaller than the plan9 kernel since that is one of the requirements in the quote I posted.
Isaiah Brown
In security-critical systems, it's a good practice to crash early.
In safety-critical systems, you can either shut down early and crash ( not a good practice in nuclear reactors since byproducts make it impossible to restart before next week , not good choice in aeroplane systems either) or you can restart the crashed process ( in factories, this would make more damaged products so it's better to just shut down ). Maybe there are more options, these are just a few examples. Ofc I'm no expert.
Landon Cook
GNU/Linux is so bloated it puts these two functions into one binary
Aiden Murphy
That was beautiful.
Eli Anderson
Is there anything between kernel and userland
Easton Smith
Nope. Userland is in reference to anything that's not in the kernel.
Owen Davis
SeL4 is the future. In a better world GNU/Hurd would be wrapped around it and we would have a fast, bloat free, mathematically secure proof microkernel with a floss userland driver/memory manager which is easy to extend. At least dreams are free, anons.
GNU/Hurd
Asher Adams
My sides
Hudson Hall
FALSE.
SeL4 is mathematically proven to conform to specification. It is not proven to be secure, work correctly if the spec was incorrect, or be bug free