Anushree Nagvekar's insights into software isolation in embedded systems underscore the necessity for efficient, lightweight ...

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 ...