>The microkernel idea is pretty much dead outside the ivory tower, as in practice it didn't work,

That would certainly explain the billions of microkernels running in production as we speak. Better tell amazon to shut down their whole webhosting business since microkernels don't work. I'm sure they'll be dissapointed to learn about this.