Retargeting and enhancing a compact multitasking kernel for the Altera Nios II processor | IEEE Conference Publication | IEEE Xplore