blob: 9712107649c9022230db30fa75beda9c46acc393 (
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
# Maintainer: Piotr Gorski <lucjan.lucjanov@gmail.com>
# Contributor: JokerBoy <jokerboy at punctweb dot ro>
# Contributor: Ionut Biru <ibiru@archlinux.org>
# Contributor : Trevor Turner <turn3r.tr3v0r at gmail dot com>
pkgbase=virtualbox-modules-uksm
pkgname=('virtualbox-host-modules-uksm' 'virtualbox-guest-modules-uksm')
pkgver=5.2.0
pkgrel=1
arch=('x86_64')
url='http://virtualbox.org'
license=('GPL')
makedepends=('linux-uksm-headers' "virtualbox-host-dkms>=$pkgver" "virtualbox-guest-dkms>=$pkgver" 'dkms')
_extramodules=extramodules-4.13-uksm
_kernver="$(cat /usr/lib/modules/${_extramodules}/version)"
build() {
# dkms need modification to be run as user
cp -r /var/lib/dkms .
echo "dkms_tree='$srcdir/dkms'" > dkms.conf
# build host modules
msg2 'Host modules'
dkms --dkmsframework dkms.conf build "vboxhost/${pkgver}_OSE" -k "$_kernver"
# build guest modules
msg2 'Guest modules'
dkms --dkmsframework dkms.conf build "vboxguest/${pkgver}_OSE" -k "$_kernver"
}
package_virtualbox-host-modules-uksm() {
pkgdesc='Host kernel modules for VirtualBox running under Linux-uksm.'
license=('GPL')
depends=('linux-uksm>=4.13' 'linux-uksm<4.14')
install=host.install
install -dm755 "$pkgdir/usr/lib/modules/$_extramodules"
cd "dkms/vboxhost/${pkgver}_OSE/$_kernver/$CARCH/module"
install -m644 * "$pkgdir/usr/lib/modules/$_extramodules"
sed -i -e "s/EXTRAMODULES='.*'/EXTRAMODULES='$_extramodules'/" "$startdir/host.install"
# compress each module individually
find "$pkgdir" -name '*.ko' -exec gzip -9 {} +
# systemd module loading
install -Dm644 /dev/null "$pkgdir/usr/lib/modules-load.d/virtualbox-host-modules-uksm.conf"
printf "vboxdrv\nvboxpci\nvboxnetadp\nvboxnetflt\n" > \
"$pkgdir/usr/lib/modules-load.d/virtualbox-host-modules-uksm.conf"
}
package_virtualbox-guest-modules-uksm() {
pkgdesc='Guest kernel modules for VirtualBox running under Linux-uksm.'
license=('GPL')
depends=('linux-uksm>=4.13' 'linux-uksm<4.14')
install=guest.install
install -dm755 "$pkgdir/usr/lib/modules/$_extramodules"
cd "dkms/vboxguest/${pkgver}_OSE/$_kernver/$CARCH/module"
install -m644 * "$pkgdir/usr/lib/modules/$_extramodules"
sed -i -e "s/EXTRAMODULES='.*'/EXTRAMODULES='$_extramodules'/" "$startdir/guest.install"
# compress each module individually
find "$pkgdir" -name '*.ko' -exec gzip -9 {} +
# systemd module loading
install -Dm644 /dev/null "$pkgdir/usr/lib/modules-load.d/virtualbox-guest-modules-uksm.conf"
printf "vboxguest\nvboxsf\nvboxvideo\n" > \
"$pkgdir/usr/lib/modules-load.d/virtualbox-guest-modules-uksm.conf"
}
|