system environment/kernel
- bpftool - Inspection and simple manipulation of eBPF programs and maps
- kernel - The Linux kernel, based on version 4.18.0, heavily modified with backports
- kernel-core - The Linux kernel
- kernel-modules - kernel modules to match the core kernel
- kmod - Linux kernel module management utilities
- kpatch - Dynamic kernel patch manager
- kpatch-dnf - kpatch-patch manager plugin for DNF