summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 9f9657eefa951e3802c9aae1e4401baeb25f6674 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
pkgbase = linux-vfio-selinux
	pkgver = 4.18.14
	pkgrel = 1
	url = https://www.kernel.org/
	arch = x86_64
	license = GPL2
	makedepends = xmlto
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	makedepends = libelf
	options = !strip
	source = https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.18.tar.xz
	source = https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.18.tar.sign
	source = https://cdn.kernel.org/pub/linux/kernel/v4.x/patch-4.18.14.xz
	source = config
	source = 60-linux.hook
	source = 90-linux.hook
	source = linux.preset
	source = add-acs-overrides.patch
	source = i915-vga-arbiter.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	sha256sums = 19d8bcf49ef530cd4e364a45b4a22fa70714b70349c8100e7308488e26f1eaf1
	sha256sums = SKIP
	sha256sums = 97d012dd62e3e9cb24c6097f9b1e21f91e39e27059a4c17e2cf0377fdfff3d49
	sha256sums = fb798c4bc70c6ee62b061420c3b9a2772683d16b86d29c46c45385c331afaf72
	sha256sums = ae2e95db94ef7176207c690224169594d49445e04249d2499e9d2fbc117a0b21
	sha256sums = 8f407ad5ff6eff106562ba001c36a281134ac9aa468a596aea660a4fe1fd60b5
	sha256sums = 99d0102c8065793096b8ea2ccc01c41fa3dcb96855f9f6f2c583b2372208c6f9
	sha256sums = 4b6df9e82460ef1fb2b55fec2d01b8ace8331547e5d3b374a42bb84271e4f866
	sha256sums = 7cb4a5da6bf551dbb2db2e0b4e4d0774ee98cc30d9e617e030b27e6cba3e6293

pkgname = linux-vfio-selinux
	pkgdesc = The Linux-vfio-selinux kernel and modules
	install = linux.install
	depends = coreutils
	depends = linux-firmware
	depends = kmod
	depends = mkinitcpio>=0.7
	optdepends = crda: to set the correct wireless channels of your country
	backup = etc/mkinitcpio.d/linux-vfio-selinux.preset

pkgname = linux-vfio-selinux-headers
	pkgdesc = Header files and scripts for building modules for Linux-vfio-selinux kernel

pkgname = linux-vfio-selinux-docs
	pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux-vfio-selinux kernel