michaelg/dev: links for rtems-tools