DDD：

apt-get install ddd

ddd --debugger     arm   -     linux   -gdb AppName

printk：

修改打印等级：

原值：

从左至右分别为控制台(串口/ssh/     te   lnet)日志级别、默认消息（printk("...");）日志级别、最低控制台日志级别、默认控制台日志级别

修改方法：

echo 4 4 1 7 > /proc/sys/kernel/printk

内核源码中打印等级相关代码