Docker/Qemu Based HotPot OS Development Environment - View it on GitHub