A framework for the generation of SBC and micro-controller models - View it on GitHub