Using Embedded Xinu and the Raspberry Pi 3 to Teach Operating Systems. - Patrick J. McGee; Rade Latinovich; Dennis Brylow (IPDPS Workshops, 2020)