More work on wrapping Keil's RL-RTX