A few years later IBM developed another UNIX variation on the RT PC (https://en.wikipedia.org/wiki/IBM_RT_PC). It had a microkernel running on top of a RISC processor, and the microkernel hosted a port of UNIX System V (which IBM called AIX), a port of BSD 4.3, or PICK OS. The RISC processor evolved into the Power series which is still around.