Back to Dazzozo kernel