Links for renode-dts2repl