A kernel written in C and Nios II assembly for the Nios softcore processor series from Altera.