generate_membench.py: Add task create workaround

1 files changed, 16 insertions, 1 deletions

diff --git a/generate_membench.py b/generate_membench.py
index ccd0c3ca..beacf0b3 100755
--- a/generate_membench.py
+++ b/generate_membench.py
@@ -643,7 +643,22 @@ ${../if/create:/name} and ${../if/delete:/name}""",
 ${../if/initiate-server:/name}""",
         None,
         "(void) rtems_timer_initiate_server( 0, 0, 0 );",
-        _CONFIG_DEFAULT),
+        """static void *task_stack_allocate( size_t size )
+{
+  (void) size;
+  return NULL;
+}
+
+static void task_stack_deallocate( void *stack )
+{
+  (void) stack;
+}
+
+#define CONFIGURE_TASK_STACK_ALLOCATOR task_stack_allocate
+
+#define CONFIGURE_TASK_STACK_DEALLOCATOR task_stack_deallocate
+
+""" + _CONFIG_DEFAULT),
     _Test(
         "rtems/timer",
         "srv-after",