- add VirtualBox:VIRTUALBOX_5_2 to kernel packages list

diff --git a/client/rebuild-kernel-packages.py b/client/rebuild-kernel-packages.py
index 36918d1c52801f8b6174798916cab9d697e8e191..a5ada45566313c776875eec51d3ebd5f803ab61a 100755 (executable)
--- a/client/rebuild-kernel-packages.py
+++ b/client/rebuild-kernel-packages.py
@@ -22,6 +22,7 @@ packages = collections.OrderedDict([
     ('sysdig',                                ['head', '4.19', '4.14', '4.9', '4.4']),
     ('tpm_emulator',                          ['head', '4.19', '4.14', '4.9', '4.4']),
     ('VirtualBox',                            ['head', '4.19', '4.14', '4.9', '4.4']),
+    ('VirtualBox:VIRTUALBOX_5_2',             ['head', '4.19', '4.14', '4.9', '4.4']),
     ('vpb-driver',                            ['head', '4.19', '4.14', '4.9', '4.4']),
     ('WireGuard',                             ['head', '4.19', '4.14', '4.9', '4.4']),
     ('wl',                                    ['head', '4.19', '4.14', '4.9', '4.4']),