I belive that AmigaOS was based on microkernel ideas. Not pure, but very near. And it was working very well. My Amiga 1200 boot ups much more faster that Windows or Linux in my moderm quad core machine