Who is calling it a microkernel? The post youre replying to calls it a “small kernel” - that does not imply it’s a microkernel tho, right? I didn’t think size has anything to do with it.

▲

Dylan16807 8 hours ago | parent | next [-]

I'm not sure if it originally said small kernel, though I know for sure the italics weren't originally there. The wording is unclear in a couple ways.

	▲	pests 8 hours ago \| parent [-]
		I came back to maybe delete my comments as I felt I might have came off harsh, esp before I saw the dead comment chain. No ill will, was confused as well I think.

▲

8 hours ago | parent | prev [-]

[deleted]