COS: A Configurable OS for Embedded SoC Systems | IEEE Conference Publication | IEEE Xplore