diff --git a/config/rv32e/config.vh b/config/rv32e/config.vh index 9f0056fad..5e1f883d4 100644 --- a/config/rv32e/config.vh +++ b/config/rv32e/config.vh @@ -179,6 +179,15 @@ localparam ZCA_SUPPORTED = 0; localparam ZCF_SUPPORTED = 0; localparam ZCD_SUPPORTED = 0; +// K extension instructions +localparam ZBKB_SUPPORTED = 0; +localparam ZBKC_SUPPORTED = 0; +localparam ZBKX_SUPPORTED = 0; +localparam ZKNE_SUPPORTED = 0; +localparam ZKND_SUPPORTED = 0; +localparam ZK_SUPPORTED = 0; +localparam ZKNH_SUPPORTED = 0; + // Memory synthesis configuration localparam USE_SRAM = 0; diff --git a/config/rv32gc/config.vh b/config/rv32gc/config.vh index 843f55530..29130e766 100644 --- a/config/rv32gc/config.vh +++ b/config/rv32gc/config.vh @@ -180,6 +180,15 @@ localparam ZCA_SUPPORTED = 0; localparam ZCF_SUPPORTED = 0; localparam ZCD_SUPPORTED = 0; +// K extension instructions +localparam ZBKB_SUPPORTED = 0; +localparam ZBKC_SUPPORTED = 0; +localparam ZBKX_SUPPORTED = 0; +localparam ZKNE_SUPPORTED = 0; +localparam ZKND_SUPPORTED = 0; +localparam ZK_SUPPORTED = 0; +localparam ZKNH_SUPPORTED = 0; + // Memory synthesis configuration localparam USE_SRAM = 0; diff --git a/config/rv32i/config.vh b/config/rv32i/config.vh index 81b25bc2b..490937558 100644 --- a/config/rv32i/config.vh +++ b/config/rv32i/config.vh @@ -180,6 +180,15 @@ localparam ZCA_SUPPORTED = 0; localparam ZCF_SUPPORTED = 0; localparam ZCD_SUPPORTED = 0; +// K extension instructions +localparam ZBKB_SUPPORTED = 0; +localparam ZBKC_SUPPORTED = 0; +localparam ZBKX_SUPPORTED = 0; +localparam ZKNE_SUPPORTED = 0; +localparam ZKND_SUPPORTED = 0; +localparam ZK_SUPPORTED = 0; +localparam ZKNH_SUPPORTED = 0; + // Memory synthesis configuration localparam USE_SRAM = 0; diff --git a/config/rv32imc/config.vh b/config/rv32imc/config.vh index 931725cc4..357eba840 100644 --- a/config/rv32imc/config.vh +++ b/config/rv32imc/config.vh @@ -178,6 +178,15 @@ localparam ZCA_SUPPORTED = 0; localparam ZCF_SUPPORTED = 0; localparam ZCD_SUPPORTED = 0; +// K extension instructions +localparam ZBKB_SUPPORTED = 0; +localparam ZBKC_SUPPORTED = 0; +localparam ZBKX_SUPPORTED = 0; +localparam ZKNE_SUPPORTED = 0; +localparam ZKND_SUPPORTED = 0; +localparam ZK_SUPPORTED = 0; +localparam ZKNH_SUPPORTED = 0; + // Memory synthesis configuration localparam USE_SRAM = 0; diff --git a/config/rv64gc/config.vh b/config/rv64gc/config.vh index 7f038d87e..a483ccbc4 100644 --- a/config/rv64gc/config.vh +++ b/config/rv64gc/config.vh @@ -181,6 +181,15 @@ localparam ZCA_SUPPORTED = 0; localparam ZCF_SUPPORTED = 0; localparam ZCD_SUPPORTED = 0; +// K extension instructions +localparam ZBKB_SUPPORTED = 0; +localparam ZBKC_SUPPORTED = 0; +localparam ZBKX_SUPPORTED = 0; +localparam ZKNE_SUPPORTED = 0; +localparam ZKND_SUPPORTED = 0; +localparam ZK_SUPPORTED = 0; +localparam ZKNH_SUPPORTED = 0; + // Memory synthesis configuration localparam USE_SRAM = 0; diff --git a/config/rv64i/config.vh b/config/rv64i/config.vh index 4dd540a9f..a289003cc 100644 --- a/config/rv64i/config.vh +++ b/config/rv64i/config.vh @@ -181,6 +181,15 @@ localparam ZCA_SUPPORTED = 0; localparam ZCF_SUPPORTED = 0; localparam ZCD_SUPPORTED = 0; +// K extension instructions +localparam ZBKB_SUPPORTED = 0; +localparam ZBKC_SUPPORTED = 0; +localparam ZBKX_SUPPORTED = 0; +localparam ZKNE_SUPPORTED = 0; +localparam ZKND_SUPPORTED = 0; +localparam ZK_SUPPORTED = 0; +localparam ZKNH_SUPPORTED = 0; + // Memory synthesis configuration localparam USE_SRAM = 0;