1. important to me are 4.19 rt patched kernels 2. however, IIRC the modules for the 5+ kernels were missing, too, but I might be mistaken 3. I'm building 4.19 rt patched kernels myself, but install "linux" from official repositories, too 4. [rocketmouse@archlinux ~]$ pacman -Q linux linux 5.15.4.arch1-1 [rocketmouse@archlinux ~]$ /bin/ls -l /lib/modules/ total 28 drwxr-xr-x 5 root root 4096 Nov 25 07:02 4.19.211-rt91-0.300-pussytoes drwxr-xr-x 5 root root 4096 Nov 25 07:02 4.19.212-rt92-0.300-securityink drwxr-xr-x 5 root root 4096 Nov 25 07:02 4.19.214-rt93-0.300-cornflower drwxr-xr-x 5 root root 4096 Nov 25 07:02 4.19.217-rt95-0.1000 drwxr-xr-x 3 root root 4096 Sep 10 07:58 5.13.13-arch1-1 drwxr-xr-x 3 root root 4096 Sep 14 08:30 5.14.2-arch1-2 drwxr-xr-x 5 root root 4096 Nov 25 07:02 5.15.4-arch1-1 At least automagically removing outdated/removed 5.n kernels fails. 4.19 kernels are well.