BeePL: Correct-by-compilation kernel extensions. - Swarn Priya; Frédéric Besson; Connor Sughrue; Tim Steenvoorden; Jamie Fulford; Freek Verbeek; Binoy Ravindran (CoRR, 2025)