prog

Will Linux ever become smaller?

35 2021-10-19 20:29

Are there currently any microkernels suitable for desktop use? MINIX is dead at this point.

Isn't the "suitable for desktop use" + "runs on as many platforms as possible" what leads to bloat? seL4 is a microkernel.