Package request: Virtualbox
VirtualBox is a powerful x86 and AMD64/Intel64 virtualization product for enterprise as well as home use.
https://www.virtualbox.org/wiki/Downloads
https://www.virtualbox.org/wiki/Linux%20build%20instructions
(from redmine: issue id 3937, created on 2015-02-15)