| ▲ | bdhcuidbebe 12 hours ago | |||||||||||||||||||||||||||||||
[flagged] | ||||||||||||||||||||||||||||||||
| ▲ | adastra22 11 hours ago | parent [-] | |||||||||||||||||||||||||||||||
“I don’t know about other microkernels” implies that NetBSD is also a microkernel. It is not. Microkernel is not a size distinction. NetBSD kernel may even be smaller in terms of LOC or binary size than some microkernels. Idk. But that is beside the point. Microkernel is an *architecture*. It is a name for a specific type of kernel design, which NetBSD is not. | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||