In the mid 1980's I was working on a port of the MINIX operating system, which is a very light
implementation of Unix that can run on very small unpowered hardware systems.
Apparently this research is still going on.
In the early '90's I was working on IBM's AIX on the PS2 (Intel) which was also microkernel based.
Nice to know people are still working on this stuff!