Although this loader was initially created for use with Windows VirtualBox version, part of it can be used on Linux version as well.

Patching VirtualBox on Linux

https://www.kernelmode.info/forum/viewtopicd7bf.html?f=11&t=3478&start=100#p29030

More vboxmanage converted scripts examples

https://github.com/hfiref0x/VBoxHardenedLoader/issues/9

Example patched files for 5.1.16 deb package version

https://www.kernelmode.info/forum/viewtopic5ec6-2.html?f=11&t=3478&start=150#p29632