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