Configurable Hardware/Software Support for Single Processor Real-Time Kernels | IEEE Conference Publication | IEEE Xplore