diff --git a/boot/mbed/include/os/os_malloc.h b/boot/mbed/include/os/os_malloc.h
new file mode 100644
index 0000000..3aa6f1e
--- /dev/null
+++ b/boot/mbed/include/os/os_malloc.h
@@ -0,0 +1 @@
+/** Not required for Mbed -- malloc calls are retargeted by the platform */