Kernel was AOK