From 2bef61b9da4c200ada22efdc5d42461576cab7a7 Mon Sep 17 00:00:00 2001 From: Jakub Duchniewicz Date: Mon, 24 Nov 2025 13:19:57 +1100 Subject: [PATCH] Fix style Signed-off-by: Jakub Duchniewicz --- libsel4/sel4_plat_include/rk3568/sel4/plat/api/constants.h | 1 - src/plat/rk3568/config.cmake | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/libsel4/sel4_plat_include/rk3568/sel4/plat/api/constants.h b/libsel4/sel4_plat_include/rk3568/sel4/plat/api/constants.h index 645547857..fb01e92c6 100644 --- a/libsel4/sel4_plat_include/rk3568/sel4/plat/api/constants.h +++ b/libsel4/sel4_plat_include/rk3568/sel4/plat/api/constants.h @@ -13,4 +13,3 @@ #else #error "unsupported core" #endif - diff --git a/src/plat/rk3568/config.cmake b/src/plat/rk3568/config.cmake index be03480cf..48c08b1cc 100644 --- a/src/plat/rk3568/config.cmake +++ b/src/plat/rk3568/config.cmake @@ -26,6 +26,5 @@ if(KernelPlatformRock3b) endif() add_sources( - DEP "KernelPlatformRock3b" - CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c + DEP "KernelPlatformRock3b" CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c )