disable-hardening.patch

   1 --- VirtualBox-6.0.6/src/VBox/HostDrivers/linux/export_modules.sh.orig  2019-04-16 12:16:41.000000000 +0200
   2 +++ VirtualBox-6.0.6/src/VBox/HostDrivers/linux/export_modules.sh       2019-05-05 10:20:35.010948761 +0200
   3 @@ -159,6 +159,7 @@
   4          < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
   5  else
   6      sed -e "s;-DVBOX_WITH_HARDENING;;g" \
   7 +        -e "s;VBOX_WITH_HARDENING;;g" \
   8          -e "s;-DVBOX_WITH_EFLAGS_AC_SET_IN_VBOXDRV;;g" \
   9          -e "s;-DIPRT_WITH_EFLAGS_AC_PRESERVING;;g" \
  10          < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
  11 @@ -172,7 +173,9 @@
  12  if [ -n "$VBOX_WITH_HARDENING" ]; then
  13      cat                                   $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile
  14  else
  15 -    sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile
  16 +    sed -e "s;-DVBOX_WITH_HARDENING;;g" \
  17 +        -e "s;VBOX_WITH_HARDENING;;g" \
  18 +           < $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile
  19  fi
  20
  21  # vboxnetadp (VirtualBox network adapter kernel module)
  22 @@ -183,7 +186,9 @@
  23  if [ -n "$VBOX_WITH_HARDENING" ]; then
  24      cat                                   $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile
  25  else
  26 -    sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile
  27 +    sed -e "s;-DVBOX_WITH_HARDENING;;g" \
  28 +        -e "s;VBOX_WITH_HARDENING;;g" \
  29 +           < $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile
  30  fi
  31
  32  # vboxpci (VirtualBox host PCI access kernel module)
  33 @@ -194,7 +199,9 @@
  34  if [ -n "$VBOX_WITH_HARDENING" ]; then
  35      cat                                   $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile
  36  else
  37 -    sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile
  38 +    sed -e "s;-DVBOX_WITH_HARDENING;;g" \
  39 +        -e "s;VBOX_WITH_HARDENING;;g" \
  40 +           < $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile
  41  fi
  42
  43  install -D -m 0644 $PATH_LINUX/Makefile $PATH_TMP/Makefile