Huh, the idea of running a general purpose and a real-time kernel side-by-side is new to me. Makes sense though, pretty cool!