Update RT kernel configs for the new EFI_CUSTOM_SSDT_OVERLAYS
[kernel-configs.git] / 5.4 /
drwxr-xr-x   ..
-rw-r--r-- 255755 arm64
-rw-r--r-- 260322 armhf
-rw-r--r-- 29745 or1k
-rw-r--r-- 213754 powerpc
-rw-r--r-- 217184 ppc64
-rw-r--r-- 216892 ppc64el
-rw-r--r-- 79211 riscv64
-rw-r--r-- 89366 s390x
-rw-r--r-- 234290 x86-32-nonpae
-rw-r--r-- 235993 x86-32-pae
-rw-r--r-- 234611 x86-32-pae-rt
-rw-r--r-- 236313 x86-64
-rw-r--r-- 236567 x86-64-rt