035e3e77ed
* This enables a mechanism to profile almost the complete boot process (starting with main2()), if SYSTEM_PROFILER is defined to 1. * You can access the profiling data using "profile -r". |
||
|---|---|---|
| .. | ||
| ReadMe | ||
| apps_debugger_config.h | ||
| kernel_debug_config.h | ||
| kernel_debugger_config.h | ||
| paranoia_config.h | ||
| support_kit_config.h | ||
| tracing_config.h | ||
ReadMe
To customize the settings defined in these headers, create a folder "user_config_headers" in the "build" folder and copy the headers you want to modify into that folder. Your custom headers will be ignored by the version control system and the build system will automatically use them instead of the original ones. But be aware that when changes are commited to the files in "config_headers", you will have to apply them to your custom headers manually.