- HEADLINE: Kernel and Desktop - DESCRIPTION: This request might not be considered in a short term or never be considered, but personally I hope that can be do

- HEADLINE: Kernel and Desktop - DESCRIPTION: This request might not be considered in a short term or never be considered, but personally I hope that can be done. For Desktop, I wish there exists Debian defined environment or interfaces which transparently integrates with desktop environment like power manager. So when switching between different, for instance, desktop environment or window manager, I don't need to tune for specific setting (particularly non-Debian way) in order to get it work. For Kernel, I would like to see integration with seL4. - ROLE/AFFILIATION: Software Engineer