diff options
| -rw-r--r-- | config/Config-kernel.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/Config-kernel.in b/config/Config-kernel.in index 5e12ddd78d..4106d92498 100644 --- a/config/Config-kernel.in +++ b/config/Config-kernel.in @@ -81,6 +81,11 @@ config KERNEL_PROFILING Enable the extended profiling support mechanisms used by profilers such as OProfile. +config KERNEL_RPI_AXIPERF + bool "Compile the kernel with RaspberryPi AXI Performance monitors" + default y + depends on KERNEL_PERF_EVENTS + config KERNEL_UBSAN bool "Compile the kernel with undefined behaviour sanity checker" help |