Watson de IBM, Liedtke y sus colegas continuaron investigando sobre el L4 y sobre sistemas basados en micronúcleos en general.