[ros-diffs] [peterw] 30974: - Add back the TinKRNL link, I'm an idiot and fix the GDB one.