Automated tailoring of system software stacks. - Andreas Ziegler 007 (2023)