Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

trivial: adjust style for cmake-format

Browse Source 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
This commit is contained in:
Julia Vassiliki
2026-02-25 11:58:21 +11:00
committed by Indan Zupancic
parent 7dc04b9a4c
commit b5d53702d4
1 changed files with 26 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

65
libsel4/CMakeLists.txt
View File

@@ -28,7 +28,8 @@ config_choice(
) )
config_option( config_option(
LibSel4StubsUseIPCBufferOnly LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY LibSel4StubsUseIPCBufferOnly
LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY
"use only IPC buffer for syscalls. When generating syscall wrappers, only use the \ "use only IPC buffer for syscalls. When generating syscall wrappers, only use the \
IPC buffer for marshalling and unmarshalling arguments. Without this option set, \ IPC buffer for marshalling and unmarshalling arguments. Without this option set, \
arguments will be passed in registers where possible for better performance." arguments will be passed in registers where possible for better performance."
@@ -62,8 +63,7 @@ gen_invocation_header(
gen_invocation_header( gen_invocation_header(
OUTPUT sel4_arch_include/${KernelSel4Arch}/sel4/sel4_arch/invocation.h OUTPUT sel4_arch_include/${KernelSel4Arch}/sel4/sel4_arch/invocation.h
XML XML "${CMAKE_CURRENT_SOURCE_DIR}/sel4_arch_include/${KernelSel4Arch}/interfaces/object-api-sel4-arch.xml"
"${CMAKE_CURRENT_SOURCE_DIR}/sel4_arch_include/${KernelSel4Arch}/interfaces/object-api-sel4-arch.xml"
LIBSEL4 SEL4ARCH LIBSEL4 SEL4ARCH
) )
@@ -73,8 +73,7 @@ gen_invocation_header(
LIBSEL4 ARCH LIBSEL4 ARCH
) )
set( set(source_header_dirs
source_header_dirs
"${CMAKE_CURRENT_SOURCE_DIR}/include" "${CMAKE_CURRENT_SOURCE_DIR}/include"
"${CMAKE_CURRENT_SOURCE_DIR}/arch_include/${KernelArch}" "${CMAKE_CURRENT_SOURCE_DIR}/arch_include/${KernelArch}"
"${CMAKE_CURRENT_SOURCE_DIR}/sel4_arch_include/${KernelSel4Arch}" "${CMAKE_CURRENT_SOURCE_DIR}/sel4_arch_include/${KernelSel4Arch}"
@@ -105,11 +104,9 @@ function(genbf target_prefix pbf_location bf_location header_output)
) )
endfunction(genbf) endfunction(genbf)
genbf( genbf("libsel4_shared_types_gen" "${CMAKE_CURRENT_BINARY_DIR}/include/sel4/shared_types.pbf"
"libsel4_shared_types_gen" "${CMAKE_CURRENT_SOURCE_DIR}/mode_include/${KernelWordSize}/sel4/shared_types.bf"
"${CMAKE_CURRENT_BINARY_DIR}/include/sel4/shared_types.pbf" "${CMAKE_CURRENT_BINARY_DIR}/include/sel4/shared_types_gen.h"
"${CMAKE_CURRENT_SOURCE_DIR}/mode_include/${KernelWordSize}/sel4/shared_types.bf"
"${CMAKE_CURRENT_BINARY_DIR}/include/sel4/shared_types_gen.h"
) )
genbf( genbf(
@@ -128,25 +125,19 @@ endif()
add_custom_command( add_custom_command(
OUTPUT include/sel4/syscall.h OUTPUT include/sel4/syscall.h
COMMAND rm -f include/sel4/syscall.h COMMAND rm -f include/sel4/syscall.h
COMMAND COMMAND "${XMLLINT_PATH}" --noout --schema "${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xsd"
"${XMLLINT_PATH}"
--noout
--schema
"${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xsd"
"${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xml" "${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xml"
COMMAND COMMAND
${PYTHON3} "${SYSCALL_ID_GEN_PATH}" ${PYTHON3} "${SYSCALL_ID_GEN_PATH}" --xml
--xml "${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xml" "${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xml" --libsel4_header
--libsel4_header include/sel4/syscall.h ${mcs} include/sel4/syscall.h ${mcs}
DEPENDS DEPENDS "${SYSCALL_ID_GEN_PATH}" "${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xsd"
"${SYSCALL_ID_GEN_PATH}" "${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xsd" "${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xml"
"${CMAKE_CURRENT_SOURCE_DIR}/include/api/syscall.xml"
COMMENT "Generate syscall.h" COMMENT "Generate syscall.h"
VERBATIM VERBATIM
) )
set( set(interface_xmls
interface_xmls
"${CMAKE_CURRENT_SOURCE_DIR}/sel4_arch_include/${KernelSel4Arch}/interfaces/object-api-sel4-arch.xml" "${CMAKE_CURRENT_SOURCE_DIR}/sel4_arch_include/${KernelSel4Arch}/interfaces/object-api-sel4-arch.xml"
"${CMAKE_CURRENT_SOURCE_DIR}/arch_include/${KernelArch}/interfaces/object-api-arch.xml" "${CMAKE_CURRENT_SOURCE_DIR}/arch_include/${KernelArch}/interfaces/object-api-arch.xml"
"${CMAKE_CURRENT_SOURCE_DIR}/include/interfaces/object-api.xml" "${CMAKE_CURRENT_SOURCE_DIR}/include/interfaces/object-api.xml"
@@ -155,9 +146,8 @@ set(
add_custom_command( add_custom_command(
OUTPUT include/interfaces/sel4_client.h OUTPUT include/interfaces/sel4_client.h
COMMAND rm -f include/interfaces/sel4_client.h COMMAND rm -f include/interfaces/sel4_client.h
COMMAND COMMAND "${PYTHON3}" "${SYSCALL_STUB_GEN_PATH}" ${buffer} ${64bitguests} ${mcs} -a
"${PYTHON3}" "${SYSCALL_STUB_GEN_PATH}" ${buffer} ${64bitguests} ${mcs} -a "${KernelSel4Arch}" -o include/interfaces/sel4_client.h ${interface_xmls}
"${KernelSel4Arch}" -o include/interfaces/sel4_client.h ${interface_xmls}
DEPENDS "${SYSCALL_STUB_GEN_PATH}" ${interface_xmls} DEPENDS "${SYSCALL_STUB_GEN_PATH}" ${interface_xmls}
COMMENT "Generate sel4_client.h" COMMENT "Generate sel4_client.h"
VERBATIM VERBATIM
@@ -165,24 +155,21 @@ add_custom_command(
add_custom_target( add_custom_target(
sel4_generated sel4_generated
DEPENDS DEPENDS include/interfaces/sel4_client.h
include/interfaces/sel4_client.h include/sel4/syscall.h
include/sel4/syscall.h include/sel4/invocation.h
include/sel4/invocation.h arch_include/${KernelArch}/sel4/arch/invocation.h
arch_include/${KernelArch}/sel4/arch/invocation.h include/sel4/shared_types_gen.h
include/sel4/shared_types_gen.h sel4_arch_include/${KernelSel4Arch}/sel4/sel4_arch/invocation.h
sel4_arch_include/${KernelSel4Arch}/sel4/sel4_arch/invocation.h sel4_arch_include/${KernelSel4Arch}/sel4/sel4_arch/types_gen.h
sel4_arch_include/${KernelSel4Arch}/sel4/sel4_arch/types_gen.h
) )
add_library(sel4 src/sel4_bootinfo.c) add_library(sel4 src/sel4_bootinfo.c)
target_link_libraries(sel4 PRIVATE kernel_Config sel4_Config sel4_autoconf) target_link_libraries(sel4 PRIVATE kernel_Config sel4_Config sel4_autoconf)
target_include_directories( target_include_directories(
sel4 sel4
PUBLIC PUBLIC ${source_header_dirs} "${CMAKE_CURRENT_BINARY_DIR}/include"
${source_header_dirs} "${CMAKE_CURRENT_BINARY_DIR}/arch_include/${KernelArch}"
"${CMAKE_CURRENT_BINARY_DIR}/include" "${CMAKE_CURRENT_BINARY_DIR}/sel4_arch_include/${KernelSel4Arch}"
"${CMAKE_CURRENT_BINARY_DIR}/arch_include/${KernelArch}"
"${CMAKE_CURRENT_BINARY_DIR}/sel4_arch_include/${KernelSel4Arch}"
) )
add_dependencies(sel4 sel4_generated) add_dependencies(sel4 sel4_generated)