[Documentation:Developer] Virtualbox is only supported provider#714

cjreed121 wants to merge 1 commit intomainSubmitty/submitty.github.io:mainfrom

virtualbox_arm_supportSubmitty/submitty.github.io:virtualbox_arm_supportCopy head branch name to clipboard