Adding new features to the Open Ravenscar Kernel ∗