diff --git a/drivers/mtd_sdcard/mtd_sdcard.c b/drivers/mtd_sdcard/mtd_sdcard.c
index 80423e9124..860bc9addc 100644
--- a/drivers/mtd_sdcard/mtd_sdcard.c
+++ b/drivers/mtd_sdcard/mtd_sdcard.c
@@ -25,7 +25,7 @@
 #include "sdcard_spi.h"
 #include "sdcard_spi_internal.h"
 
-#include <stdint.h>
+#include <inttypes.h>
 #include <errno.h>
 
 static int mtd_sdcard_init(mtd_dev_t *mtd);
@@ -65,7 +65,7 @@ static int mtd_sdcard_init(mtd_dev_t *dev)
 static int mtd_sdcard_read(mtd_dev_t *dev, void *buff, uint32_t addr,
                            uint32_t size)
 {
-    DEBUG("mtd_sdcard_read: addr:%lu size:%lu\n", addr, size);
+    DEBUG("mtd_sdcard_read: addr:%" PRIu32 " size:%" PRIu32 "\n", addr, size);
     mtd_sdcard_t *mtd_sd = (mtd_sdcard_t*)dev;
     sd_rw_response_t err;
     int res = sdcard_spi_read_blocks(mtd_sd->sd_card, addr / SD_HC_BLOCK_SIZE,
@@ -81,7 +81,7 @@ static int mtd_sdcard_read(mtd_dev_t *dev, void *buff, uint32_t addr,
 static int mtd_sdcard_write(mtd_dev_t *dev, const void *buff, uint32_t addr,
                             uint32_t size)
 {
-    DEBUG("mtd_sdcard_write: addr:%lu size:%lu\n", addr, size);
+    DEBUG("mtd_sdcard_write: addr:%" PRIu32 " size:%" PRIu32 "\n", addr, size);
     mtd_sdcard_t *mtd_sd = (mtd_sdcard_t*)dev;
     sd_rw_response_t err;
     int res = sdcard_spi_write_blocks(mtd_sd->sd_card, addr / SD_HC_BLOCK_SIZE,
@@ -98,7 +98,7 @@ static int mtd_sdcard_erase(mtd_dev_t *dev,
                             uint32_t addr,
                             uint32_t size)
 {
-    DEBUG("mtd_sdcard_erase: addr:%lu size:%lu\n", addr, size);
+    DEBUG("mtd_sdcard_erase: addr:%" PRIu32 " size:%" PRIu32 "\n", addr, size);
     (void)dev;
     (void)addr;
     (void)size;