I expect micro kernels will be more prevalent in the future. Hardware platforms will have to evolve to have more physical independence and redundancy (both by r

I expect micro kernels will be more prevalent in the future. Hardware platforms will have to evolve to have more physical independence and redundancy (both by replication, and different-vendor components assigned to have same functions). I am of a view, that micro-kernels are better positioned to manage those types of hardware platforms