headnet/prod: links for rtems-tools