Recent versions of L4 and MINIX have gone down this path (older versions of L4 used timeouts, as does QNX).
Poslední verze L4 a Minixu šly touto cestou (starší verze L4 používá časové limity, stejně jako QNX).