Ejemplo de este diseño se encuentra en ExOS y Extended OpenBSD.