While Linux has long been predominant in microprocessor (MPUs) based embedded systems, the availability of operating systems for microcontrollers (MCUs) is quite fragmented. Microcontroller manufacturers sometimes have their proprietary offerings,...