Talk: Microkernel based Operating System Design for Embedded Systems