diff options
| author | Dave Jones <davej@redhat.com> | 2011-10-06 18:39:09 -0400 |
|---|---|---|
| committer | Dave Jones <davej@redhat.com> | 2011-10-06 18:39:09 -0400 |
| commit | 64f1bc96d9377bee8c6e79fec4e2ea3e26e27718 (patch) | |
| tree | 550db7f7215305cba73db7688fec6f401d559c56 /taint-vbox.patch | |
| parent | 8260326a9652f851ffd9edd8cb51266019e4882c (diff) | |
| download | kernel-64f1bc96d9377bee8c6e79fec4e2ea3e26e27718.tar.gz kernel-64f1bc96d9377bee8c6e79fec4e2ea3e26e27718.tar.xz kernel-64f1bc96d9377bee8c6e79fec4e2ea3e26e27718.zip | |
Taint if virtualbox modules have been loaded.
Diffstat (limited to 'taint-vbox.patch')
| -rw-r--r-- | taint-vbox.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/taint-vbox.patch b/taint-vbox.patch new file mode 100644 index 000000000..5cb3e47c9 --- /dev/null +++ b/taint-vbox.patch @@ -0,0 +1,15 @@ +diff --git a/kernel/module.c b/kernel/module.c +index 04379f92..d26c9a3 100644 +--- a/kernel/module.c ++++ b/kernel/module.c +@@ -2653,6 +2653,10 @@ static int check_module_license_and_versions(struct module *mod) + if (strcmp(mod->name, "ndiswrapper") == 0) + add_taint(TAINT_PROPRIETARY_MODULE); + ++ /* vbox is garbage. */ ++ if (strcmp(mod->name, "vboxdrv") == 0) ++ add_taint(TAINT_CRAP); ++ + /* driverloader was caught wrongly pretending to be under GPL */ + if (strcmp(mod->name, "driverloader") == 0) + add_taint_module(mod, TAINT_PROPRIETARY_MODULE); |