CI

GaloisInc · Jan 8, 2025 · c87a307 · c87a307
1 parent b298b6f
commit c87a307
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/components/platform_crypto/shave_trusted_boot/Makefile b/components/platform_crypto/shave_trusted_boot/Makefile
@@ -21,7 +21,7 @@ TRUSTED_BOOT_BIN = trusted_boot$(TARGET_SUFFIX)
 
 SRC = $(wildcard $(ROOT_DIR)/*.c)
 OBJ = $(SRC:$(ROOT_DIR)/%.c=$(BUILD_DIR)/%.o)
-CFLAGS = -I$(ROOT_DIR)
+CFLAGS = -I$(ROOT_DIR) -DNO_XMSS
 
 CN_FLAGS=-I$(ROOT_DIR) -I$(ROOT_DIR)/../../include --include=$(ROOT_DIR)/../../include/wars.h --magic-comment-char-dollar
 CN=cn verify $(CN_FLAGS)

diff --git a/components/platform_crypto/shave_trusted_boot/firmware.c b/components/platform_crypto/shave_trusted_boot/firmware.c
@@ -270,7 +270,7 @@ static XmssSignatureBlob xmss_signature;
 #endif
 #endif
 
-static unsigned int boot_once __attribute__ ((section (".x,tbootdata") ));
+static unsigned int boot_once __attribute__ ((section (".tbootdata") ));
 
 static void magically_call(void (*f)(void))
 /*$ trusted; $*/