Build a better kernel