diff --git a/buildroot-external/board/hardkernel/odroid-xu4/kernel.config b/buildroot-external/board/hardkernel/odroid-xu4/kernel.config index 14a5ba608..63fb19d9b 100644 --- a/buildroot-external/board/hardkernel/odroid-xu4/kernel.config +++ b/buildroot-external/board/hardkernel/odroid-xu4/kernel.config @@ -2,3 +2,5 @@ CONFIG_KERNEL_LZ4=y # CONFIG_KERNEL_GZIP is not set # CONFIG_S3C2410_WATCHDOG is not set + +# CONFIG_PROVE_LOCKING is not set