Changes in boot/arch/arm64/src/main.c [84176f3:4099129] in mainline

File:

• boot/arch/arm64/src/main.c (modified) (1 diff)

boot/arch/arm64/src/main.c

@@ -191 +191 @@
 
         /* Statically check PAGE_SIZE and BOOT_OFFSET. */
-#if PAGE_SIZE != 4096
-#error Unsupported PAGE_SIZE
-#endif
-#if !IS_ALIGNED(BOOT_OFFSET, PAGE_SIZE)
-#error Unsupported BOOT_OFFSET
-#endif
+        _Static_assert(PAGE_SIZE == 4096, "PAGE_SIZE must be equal to 4096");
+        _Static_assert(IS_ALIGNED(BOOT_OFFSET, PAGE_SIZE),
+            "BOOT_OFFSET must be a multiple of PAGE_SIZE");
+
         /*
          * Dynamically check the memory base. The condition should be always