Linux Operating System Software Debugging Techniques with Xilinx Embedded Development Platforms Application Note (XAPP1137)