Hi guys. Building the VM could take time, mostly for new people. Lots of time people report a crash and some answers are "can you run it with gdb and tell me what is ...". So, what about providing a debug vm as well as the "production" one? I know it requires some time to do it, but I think it can be worth it. Eliot, when you release a new VM, I don't imagine you do all by hand, you must have a script somewhere. Maybe just adding a couple of lines to also provide debug vms would be very very cool. Igor/Esteban: you can also do that very easily in jenkins since you already have configurations for debug.
Cheers