Currently: researching whether raspberry pi 4b with 8gb ram could run a virtual machine and thus be suitable for serious dev work, at least I'd need docker most of the time. The architecture (amd) does not work with virtualbox. qemu seems to have support.
Simultaneously I'm trying to get qemu running on windows. or I might boot into arch linux. Maybe vagrant would have the appropriate config for qemu.