Correcting myself:

IBM Network Station used PPC

And although its OS was called “NCOS”, it was completely different from Oracle’s NCOS. It was apparently a closed source derivative of NetBSD