diff options
Diffstat (limited to 'target/linux/octeon')
| -rw-r--r-- | target/linux/octeon/config-default | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/target/linux/octeon/config-default b/target/linux/octeon/config-default index fce2682f72..9511dc4eaf 100644 --- a/target/linux/octeon/config-default +++ b/target/linux/octeon/config-default @@ -228,7 +228,7 @@ CONFIG_POSIX_MQUEUE=y CONFIG_POSIX_MQUEUE_SYSCTL=y # CONFIG_PROBE_INITRD_HEADER is not set CONFIG_PROC_PAGE_MONITOR=y -# CONFIG_PROM_EMU is not set + # CONFIG_PROVE_LOCKING is not set # CONFIG_RCU_TORTURE_TEST is not set CONFIG_RELAY=y |