T-Kernelなんか棒半導体メーカーから提供されたものだし