Thanks! It does do a good job at demonstrating a microkernel is viable. As said above, I'm not a CS guy. So, to me at least, it's fascinating to read and learn

Thanks! It does do a good job at demonstrating a microkernel is viable. As said above, I'm not a CS guy. So, to me at least, it's fascinating to read and learn about the philosophical differences between a micro and a monolithic kernel. There's the speed penalty but, with modern hardware, that isn't all that significant. It shouldn't suffer a complete crash. I really think AST was ahead of his time and that it will be a viable option in the future. I do want to try it on bare metal. I suppose I should actually do that. Maybe I should document my experiences and publish them online somewhere?