GitHub repository: open-eio/esp32-micropython-vagrant
Description: Vagrant file to build a virtual machine that can compile the ESP8266 open SDK & MicroPython firmware.