diff --git a/device/include/aligned_alloc.h b/device/include/aligned_alloc.h

new file mode 100644

index 0000000..2cd5e3a

--- /dev/null

+++ b/device/include/aligned_alloc.h

@@ -0,0 +1,11 @@

+#ifndef __SDCC_ALIGNED_ALLOC_H

+#define __SDCC_ALIGNED_ALLOC_H 1

+

+#if __STDC_VERSION__ >= 201112L

+inline void *aligned_alloc(size_t alignment, size_t size)

+{

+  (void)alignment;

+  return malloc(size);

+}

+#endif

+#endif

diff --git a/device/include/stdlib.h b/device/include/stdlib.h

index 5abede0..cce0686 100644

--- a/device/include/stdlib.h

+++ b/device/include/stdlib.h

@@ -82,6 +82,7 @@ void *calloc (size_t nmemb, size_t size);

 void *malloc (size_t size);

 void *realloc (void *ptr, size_t size);

 #endif

+#ifdef RRR

 #if __STDC_VERSION__ >= 201112L

 inline void *aligned_alloc(size_t alignment, size_t size)

 {

@@ -89,6 +90,7 @@ inline void *aligned_alloc(size_t alignment, size_t size)

   return malloc(size);

 }

 #endif

+#endif

 extern void free (void * ptr);

 /* Searching and sorting utilities (ISO C11 7.22.5) */

diff --git a/device/lib/aligned_alloc.c b/device/lib/aligned_alloc.c

index 92f3259..552459b 100644

--- a/device/lib/aligned_alloc.c

+++ b/device/lib/aligned_alloc.c

@@ -37,5 +37,5 @@

 extern void *aligned_alloc(size_t alignment, size_t size);

-#include <stdlib.h>

+#include <aligned_alloc.h>