compiled kernel