Lightweight Debian VM on OS X with VirtualBox

This post is obsolete. I recommend using Vagrant instead.