Hilix - A kernel that mostly built from scratch.