Ask HN: X-Kernel Dead?1 point·_wk47··0 commentsx-kernel (https://www2.cs.arizona.edu/projects/xkernel/) seems to be dead. Anyone has any idea about any project to continue that work?SaveView on HN