/kernels/linux-libre-rt/
../
PKGBUILD
boot-logo.patch
change-default-console-loglevel.patch
config.i686
config.x86_64
ext4-options.patch
fix-i915.patch
i915-fix-ghost-tv-output.patch
i915-gpu-finish.patch
linux-libre-rt.install
linux-libre-rt.preset