PKGBUILDs/core/linux-zedboard
..
config
kernel-CVE-2016-0728.patch
linux-zedboard.install
PKGBUILD