portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix style

Browse source 
Signed-off-by: Jakub Duchniewicz <j.duchniewicz@gmail.com>
This commit is contained in:
Jakub Duchniewicz 2025-11-24 13:19:57 +11:00 committed by Gerwin Klein
parent bce8202afe
commit 2bef61b9da
2 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
libsel4/sel4_plat_include/rk3568/sel4/plat/api/constants.h
View file

@ -13,4 +13,3 @@
#else
#error "unsupported core"
#endif

3
src/plat/rk3568/config.cmake
View file

@ -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
)