Embedded Message-Passing Kernel Repository for my solution for the Message passing kernel for embedded devices assignment in my Real Time Systems course.