[ros-kernel] symbol file question

[Hartmut Birr]

Hi,

I would shrink the size of symbol files by removing the unnecessary
parts. Are symbolfiles used from others than the kernel debugger?

- Hartmut