Designing an operating system for a heterogeneous reconfigurable SoC | IEEE Conference Publication | IEEE Xplore