Set the configuration for the heart of the OS: on the practicality of operating system kernel debloating. - Kuo, Hsuan-Chi; Chen, Jianyan; Mohan, Sibin; Xu, Tianyin (Commun. ACM, 2022)