Hello, The dummy s-taprop.adb included in libgnarl has been broken for a few releases, as the signature for `Unlock' and `Write_Lock' on `RTS_Lock' has changed. That file doesn't seem to be used by any of the current runtime configurations, but it can be helpful for bringing up a new target.
Thanks, -- Tevo