From 4501c69b39462ccb117d9bffb662c97d4e79085e Mon Sep 17 00:00:00 2001 From: Robbie VanVossen Date: Fri, 25 Aug 2023 11:37:25 -0400 Subject: [PATCH] cmake_tool: Build binaries for rocket chip plats Signed-off-by: Robbie VanVossen --- cmake-tool/helpers/application_settings.cmake | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake index 3df2154a..01580404 100644 --- a/cmake-tool/helpers/application_settings.cmake +++ b/cmake-tool/helpers/application_settings.cmake @@ -10,7 +10,10 @@ cmake_minimum_required(VERSION 3.8.2) include_guard(GLOBAL) function(ApplyData61ElfLoaderSettings kernel_platform kernel_sel4_arch) - set(binary_list "tx1;hikey;odroidc2;odroidc4;imx8mq-evk;imx8mm-evk;hifive;tqma8xqp1gb;bcm2711") + set( + binary_list + "tx1;hikey;odroidc2;odroidc4;imx8mq-evk;imx8mm-evk;hifive;tqma8xqp1gb;bcm2711;rocketchip" + ) set(efi_list "tk1;rockpro64;quartz64") set(uimage_list "tx2;am335x") if(