development/system
- kernel-headers - Header files for the Linux kernel for use by glibc
- kernel-tools - Assortment of tools for the Linux kernel
- kernel-tools-libs - Libraries for the kernels-tools
- kernel-tools-libs-devel - Assortment of tools for the Linux kernel
- perf - Performance monitoring for the Linux kernel
- pesign - Signing utility for UEFI binaries