A kernel specifically for think-silicon.