Comment by smeg_it

I'm sorry for the late reply, but I wanted to thank you for the reply. I did a quick scan of genode on wikipedia. I've heard of it and might have seen articles over the years, but it says it's a framework and it kinda says it was built for study. You kind of hit on my point. Microkernels have been around for many years, but there has never really been enough resources put in to make them viable for general desktop use, except for Minx but that was proprietary. From what I read, it wasn't made open source until too late.