diff --git a/pkgs/setup-cfg/setup-cfg.nix b/pkgs/setup-cfg/setup-cfg.nix
index e3a72bb..1cfa397 100644
--- a/pkgs/setup-cfg/setup-cfg.nix
+++ b/pkgs/setup-cfg/setup-cfg.nix
@@ -7,6 +7,9 @@
     , bao-tests ? " " 
     , tests_srcs ? " " 
     , baremetal_patch ? " " 
+    , GIC_VERSION ? " "
+    , IRQC ? " "
+    , IPIC ? " "
 }:
 let
     platforms-arch = {
@@ -43,4 +46,8 @@ in {
     bao-tests = bao-tests;
     tests_srcs = tests_srcs;
     baremetal_patch = baremetal_patch;
+    
+    irq_flags = if arch == "riscv64" then
+        "IRQC=${IRQC} IPIC=${IPIC}"
+    else "GIC_VERSION=${GIC_VERSION}"
 }
\ No newline at end of file