Is there a Vagrant box that simulates a Raspberry Pi?

Question

I am looking at evaluating a tool-chain for programming ARM chips with a Raspberry Pi and I would like to run a Vagrant box that simulates a Raspberry Environment.

Does

Answer 1

There exists the rpi-build-and-boot or the older raspberry-devbox Vagrant development box for Raspberry Pi.