Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| tools [2012/12/17 10:38] – [Compiling the kernel] admin | tools [2021/02/25 09:10] (current) – [Linker scripts] admin | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | |||
| + | |||
| + | |||
| + | http:// | ||
| + | |||
| ====== Linker scripts ====== | ====== Linker scripts ====== | ||
| * kernel: | * kernel: | ||
| * userland, embedded in the toolchain, see strace ld --verbose | * userland, embedded in the toolchain, see strace ld --verbose | ||
| + | |||
| ====== Memory ====== | ====== Memory ====== | ||
| Line 8: | Line 14: | ||
| Duma | Duma | ||
| + | https:// | ||
| ====== Real-time ====== | ====== Real-time ====== | ||
| https:// | https:// | ||
| + | ====== Debugging ====== | ||
| + | |||
| + | https:// | ||
| + | ===== OpenOCD ===== | ||
| + | http:// | ||
| ====== Profiling====== | ====== Profiling====== | ||
| Line 53: | Line 65: | ||
| In Linux, ARM MPU counters profile information are normally accessed through the kernel via the OProfile tool or the Linux perf events framework. | In Linux, ARM MPU counters profile information are normally accessed through the kernel via the OProfile tool or the Linux perf events framework. | ||
| + | ===== latency plots ===== | ||
| + | |||
| + | https:// | ||
| ====== Static analysis ====== | ====== Static analysis ====== | ||
| splint | splint | ||
| + | Using clang: | ||
| + | https:// | ||
| ====== Compiling the kernel ====== | ====== Compiling the kernel ====== | ||
| Line 63: | Line 79: | ||
| make allnoconfig | make allnoconfig | ||
| + | make clean # remove most generated files but keep config | ||
| make mrproper | make mrproper | ||
| make distclean | make distclean | ||
| | | ||
| + | make oldcondif | ||
| + | make | ||
| + | make LOADADDR=0x80008000 uImage | ||
| + | make dtbs | ||
| + | ====== Patches ====== | ||
| + | * quilt, tools to manage a stack of patches | ||
| + | * git | ||