@mcc maybe the Herd kernel? It might finally be usable?