ContextOur team is porting a custom RTOS implementation (originally for an old Intel architecture) tar