Links for byted-lego-triton-runtime