a default kernel