cross-posted from: https://lemmy.world/post/16149785
Cross-posting here for more opinions.
Gentlemen, just for context, I usually use Linux. I have been a user of Debian, Ubuntu, and Fedora for a few years.
Recently, I acquired a decent graphics card (GeForce RTX 4070) and decided to uninstall my Windows and install Linux.
I saw that Pop!_OS already has an image with everything pre-configured for Nvidia. Is this pre-configuration worth it, are the games more stable on this distribution, or is it the same as manually installing Nvidia’s proprietary drivers on Manjaro?
Ah okay, I see now. Isn’t the term microkernel or something? But yes, I do remember hearing everything was in the kernel for Linux (even prior to this discussion).
Yes minix, hurd, RedoxOS are all (using) microkernels.
Most projects didnt succeed but RedoxOS is interesting.
https://www.youtube.com/watch?v=Quh3FauAaWE