Besides what pjmlp said. I was thinking of Plan 9, VMS, NT (the kernel, which takes a lot if ideas from VMS), L4.

Of course, out of these, NT did succeed wildly as well did L4 (e.g. iOS secure enclave).

Some improve in the architecture, some in user land, some in both :).