During a separate thread about microkernels (short summary: it ain’t happening), Pedro Guffuni pointed out Exokernel, a OS project where most everything was in libraries.