diff --git a/group/tf-l1-build-plat/rk3588-coreboot:nil b/group/tf-l1-build-plat/rk3588-coreboot:nil
new file mode 100644
index 0000000..b5a3cc6
--- /dev/null
+++ b/group/tf-l1-build-plat/rk3588-coreboot:nil
@@ -0,0 +1,6 @@
+#
+# Copyright (c) 2024 Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+
diff --git a/group/tf-l1-build-plat/rk3588-default:nil b/group/tf-l1-build-plat/rk3588-default:nil
new file mode 100644
index 0000000..d6ce253
--- /dev/null
+++ b/group/tf-l1-build-plat/rk3588-default:nil
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+#
+# Copyright (c) 2024 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 66ee483..7cb46c7 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -415,6 +415,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=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 \
     ENABLE_STACK_PROTECTOR=strong all
 
diff --git a/tf_config/rk3588-coreboot b/tf_config/rk3588-coreboot
new file mode 100644
index 0000000..bed4fea
--- /dev/null
+++ b/tf_config/rk3588-coreboot
@@ -0,0 +1,3 @@
+COREBOOT=1
+CROSS_COMPILE=aarch64-none-elf-
+PLAT=rk3588
diff --git a/tf_config/rk3588-default b/tf_config/rk3588-default
new file mode 100644
index 0000000..d789c35
--- /dev/null
+++ b/tf_config/rk3588-default
@@ -0,0 +1,3 @@
+CROSS_COMPILE=aarch64-none-elf-
+ENABLE_STACK_PROTECTOR=strong
+PLAT=rk3588