share/gdb/gdbinit

python
import sys
sys.path.insert(0, '/cbuild/slaves/oorts/crosstool-ng/builds/aarch64-none-elf-linux/install/share/gcc-4.8.3/python')
from libstdcxx.v6.printers import register_libstdcxx_printers
register_libstdcxx_printers (None)
end