The Microkit is distributed as a software development kit (SDK). This repository is the source for the Microkit SDK. The development of Microkit is on-going, more information can be found on the ...