CS402 kernel