diff --git a/boards/arm/tiva/dk-tm4c129x/src/tm4c_ethernet.c b/boards/arm/tiva/dk-tm4c129x/src/tm4c_ethernet.c
index 1140e12b37c..0abc4cc7e0a 100644
--- a/boards/arm/tiva/dk-tm4c129x/src/tm4c_ethernet.c
+++ b/boards/arm/tiva/dk-tm4c129x/src/tm4c_ethernet.c
@@ -39,6 +39,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <debug.h>
 #include <assert.h>
@@ -85,7 +86,8 @@ void tiva_ethernetmac(struct ether_addr *ethaddr)
   user0 = getreg32(TIVA_FLASH_USERREG0);
   user1 = getreg32(TIVA_FLASH_USERREG1);
 
-  ninfo("user: %06x:%06x\n", user1 & 0x00ffffff, user0 & 0x00ffffff);
+  ninfo("user: %06" PRIx32 ":%06" PRIx32 "\n",
+        user1 & 0x00ffffff, user0 & 0x00ffffff);
   DEBUGASSERT(user0 != 0xffffffff && user1 != 0xffffffff);
 
   /* Re-format that MAC address the way that the network expects to see it */