The Hilix Kernel