Linux Kernel Debug And Profiling Tools - Nicolas Launet, Adeneo Embedded