TinyRT is a micro Real Time OS with a deferrable embedded server. It has been designed to be embedded on Arduino and other tiny platforms.