A small but complete demo of PXE with iPXE and VirtualBox (with some help from Vagrant and Alpine Linux)