- tachyos kernel interface