Enhance gdb support

For Xenomai, see

I-pipe dependencies:

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information