Configurable Hardware/Software Support for Single Processor Real-Time Kernels. - Susanna Nordstrom; Lars Asplund (SoC, 2007)