And, I was able to install AROS on an USB stick, connected to my laptop; and use it to boot an instance of AROS 64 SMP UEFI in Virtualbox