Basic test of the default kernel