Figure out what to do with VirtualBox dkms modules vs. Secure Boot
Originally created by @intrigeri on #17452 (Redmine)
Presumably, all Tails started in VirtualBox won’t have Secure Boot
enabled, either because they’re started from DVD (and we only support
Secure Book when booting from USB and UEFI), or because VirtualBox does
not support Secure Boot (does it?), so the unsigned VirtualBox dkms
modules should be loaded just fine. Correct?
If that assumption is incorrect, then I don’t think we have to do
anything here.
Else, we probably need to update some code and documentation.
Parent Task: #6560 (closed)