Microkernel of Embedded Operating System in SRAM | IEEE Conference Publication | IEEE Xplore