kernel specs