A case study of nanokernel in education | IEEE Conference Publication | IEEE Xplore