A small-scale operating system foundation for microprocessor applications | IEEE Journals & Magazine | IEEE Xplore