Kernel repository for ThunderZap 3.0