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!