From e4973577ecd24a74f5dbc2a79e5cddeae8bcdbba Mon Sep 17 00:00:00 2001 From: Matt Harvey Date: Mon, 12 Jul 2021 11:27:33 -0700 Subject: [PATCH] Adds kata Makefile step call OpenTitan regtool To write s3L4 for OpenTitan matcha, we want to depend on generated C header files for definitions of MMIO sizes, offsets, masks, bit meanings, etc. To make these header files available to the seL4 build, this change adds a make prerequisite for the kata build to run regtool.py with output going to out/kata/opentitan-gen. In CAmkES CMake files, the INCLUDE attribute can be used to add to the include path, and this change also does that for the UartDriver component. (The implementation will be left for a later change, since an initial straighforwrd attempt saw writes still going to the 16550.) Change-Id: If7e7e206ddcf625b8f5a45dc6486693cab7c51e2 GitOrigin-RevId: 018b9ddf9cde2389fb9f39553095d955705cb7a0 --- apps/system/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/system/CMakeLists.txt b/apps/system/CMakeLists.txt index 54737e8..dc980b3 100644 --- a/apps/system/CMakeLists.txt +++ b/apps/system/CMakeLists.txt @@ -41,9 +41,9 @@ DeclareCAmkESComponent(ProcessManager INCLUDES interfaces ) - DeclareCAmkESComponent(UartDriver SOURCES components/UartDriver/src/driver.c + INCLUDES opentitan-gen/include ) DeclareCAmkESComponent(SeL4Debug