VirtualBox のバグで Guest Addition がインストールできない

注: この記事は2019年3月28日に書いた．

VirtualBox を，WindowsホストでUbuntu16.04ゲストというパターンで動かしている．数日前から急にshared folderがマウントできなくなってしまった．正確には以下のコマンドで手動マウントはできるのだが，自動マウントをしてくれない．

# mount -t vboxsf (マウントポイント名) /media/sf_(マウントポイント名)

その他にも妙な挙動がいくつか．どうも，Guest Addition のビルドに失敗している模様．

# cd /media/(ユーザ名)/VBox_GAs_....
# ./VBoxLinuxAdditions.run

を実行すると失敗して，/var/log/vboxadd-setup.log を見ると，

/tmp/vbox.0/r0drv/linux/memobj-r0drv-linux.c:1113:18: error: too many arguments to function ‘get_user_pages’
             rc = get_user_pages(pTask,                  /* Task for fault accounting. */^M
                  ^

てなのが出ている．

解決法を書いてくれている人がいた．直っているけれどリリースには入っていないのだそうでテストビルドを持ってくるのだと．

なんでも
The Windows test build packages are working precisely like a usual VirtualBox installer packages, with one difference: they will not work (the error message will point to unsigned drivers) if you install them on Windows 10 if your system has UEFI secure boot enabled. To make these test build work you need to disable UEFI secure boot in the system's UEFI config.
だそうなので，UEFIセキュアブートを無効にしなくてはいけない．

うまくいった．