High-Configurability for Operating Systems. - Tiberiu Deak; Razvan Deaconescu; Martin Kröning; Antonello Monti (RoEduNet, 2024)