diff --git a/boards/arm/tiva/eagle100/src/lm_ethernet.c b/boards/arm/tiva/eagle100/src/lm_ethernet.c
index add3e017b47..68add55f12a 100644
--- a/boards/arm/tiva/eagle100/src/lm_ethernet.c
+++ b/boards/arm/tiva/eagle100/src/lm_ethernet.c
@@ -39,6 +39,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <debug.h>
 #include <assert.h>
@@ -84,7 +85,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 */