Hilix - A kernel the mostly built from scratch.