I need to be able to do some Linux-based dev work while mobile. I’ve limped along using OSX and also using VirtualBox, but neither of them are really optimal, notably for ARM-targeted work. For instance, building a Raspberry Pi kernel and then emulating it under OSX is very very tricky, and doing it in a ...