I went ahead and got a Raspberry PI 4 with 8 Gig of RAM, a 256 Gig SD card for $170 for the cumputer, canakit with case, power supply and cables. It runs Ubuntu Mate which is more usable than the default Rasparian Linux. It is about the size of a deck of cards. I have an Apache webserver wtih PHP and MySQL database server.
While it cannot run VirtualBox or an X86 OS, it can SSH to a box that does have VirtualBox where I can start virtual machines from the Raspberry PI and then use Remote Desktop to run the VMs. I had been doing this with an old laptop runing ArcaOS and using RDP client to connect and that worked pretty well but that laptop was pretty old and the screen size was too small.
I am also working on a Perl program that will read the various XML files for VirtualBox and use a text based interface to start and stop virtual machines through an SSH session. The 64bit version of Midnight Commander also works pretty well within an SSH session on a remote Windows 10 64bit box.
I will be posting my adventures with this at
https://oscollector.wordpress.com/Cheers,
Dave