Design of Embedded OS Micro-kernel Experiment Series on ARM | IEEE Conference Publication | IEEE Xplore