x-kernel (https://www2.cs.arizona.edu/projects/xkernel/) seems to be dead. Anyone has any idea about any project to continue that work?