A kernel in C, Assembler and our home-brewed XLang