maquinas para a oficina no Debian Day?

Olá, Moisés
Visto que já temos um interessado na oficina que não levará notebook,
teremos algumas máquinas desktop capazes de rodar a VM do virtualbox
disponíveis para o dia do evento?
Como rodaremos uma VM, não haveria necessidade de formatar ou
reinstalar, podendo até ser (argh) windows, bastando instalar o
VirtualBox 3.0.4. Importante é ter ram suficiente e uns 5 GB de espaço
em disco livre, pelo menos.
Boa sorte.
André Felipe