diff --git a/config.cmake b/config.cmake index abe0a6e63..84461d21d 100644 --- a/config.cmake +++ b/config.cmake @@ -278,7 +278,7 @@ config_string( config_string( KernelMaxNumNodes MAX_NUM_NODES "Max number of CPU cores to boot" DEFAULT 1 - DEPENDS "${KernelNumDomains} EQUAL 1;NOT KernelArchRiscV" + DEPENDS "${KernelNumDomains} EQUAL 1" UNQUOTE )