build(rk3576): add build configs for rk3576

This is needed to support compiling new source file.
Also updated the default tf-a build configs for rk3576.

Signed-off-by: XiaoDong Huang <derrick.huang@rock-chips.com>
Change-Id: I863aee94d9855834285ddd1c54b2e209c42a4c86
diff --git a/group/tf-l1-build-plat/rk3576-coreboot:nil b/group/tf-l1-build-plat/rk3576-coreboot:nil
new file mode 100644
index 0000000..9e0377a
--- /dev/null
+++ b/group/tf-l1-build-plat/rk3576-coreboot:nil
@@ -0,0 +1,6 @@
+#
+# Copyright (c) 2025 Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+
diff --git a/group/tf-l1-build-plat/rk3576-default:nil b/group/tf-l1-build-plat/rk3576-default:nil
new file mode 100644
index 0000000..bea625d
--- /dev/null
+++ b/group/tf-l1-build-plat/rk3576-default:nil
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+#
+# Copyright (c) 2025 Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+
+post_tf_archive() {
+	echo "Removing bl31.bin"
+	rm -f "$archive/bl31.bin"
+	touch "$archive/bl31.bin.deleted"
+}
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 9497d58..93ea312 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -455,6 +455,8 @@
     ENABLE_STACK_PROTECTOR=strong all
 make PLAT=rk3328 $(common_flags) COREBOOT=1 PLAT_RK_SECURE_DDR_MINILOADER=1 \
     ENABLE_STACK_PROTECTOR=strong all
+make PLAT=rk3576 $(common_flags) COREBOOT=1 PLAT_RK_SECURE_DDR_MINILOADER=1 \
+    ENABLE_STACK_PROTECTOR=strong all
 make PLAT=rk3588 $(common_flags) COREBOOT=1 PLAT_RK_SECURE_DDR_MINILOADER=1 \
     ENABLE_STACK_PROTECTOR=strong all
 make PLAT=px30 $(common_flags) PLAT_RK_SECURE_DDR_MINILOADER=1 \
diff --git a/tf_config/rk3576-coreboot b/tf_config/rk3576-coreboot
new file mode 100644
index 0000000..49690d8
--- /dev/null
+++ b/tf_config/rk3576-coreboot
@@ -0,0 +1,3 @@
+COREBOOT=1
+CROSS_COMPILE=aarch64-none-elf-
+PLAT=rk3576
diff --git a/tf_config/rk3576-default b/tf_config/rk3576-default
new file mode 100644
index 0000000..129fd79
--- /dev/null
+++ b/tf_config/rk3576-default
@@ -0,0 +1,3 @@
+CROSS_COMPILE=aarch64-none-elf-
+ENABLE_STACK_PROTECTOR=strong
+PLAT=rk3576