#include <stm32f4.h>
#ifndef AO_STACK_SIZE
-#define AO_STACK_SIZE 512
+#define AO_STACK_SIZE 1024
#endif
+#define AO_STACK_ALIGNMENT __attribute__ ((aligned(8)))
+
#define AO_PORT_TYPE uint16_t
#define ao_arch_nop() asm("nop")
#define ao_arch_task_members\
uint32_t *sp; /* saved stack pointer */
-#define ao_arch_block_interrupts() asm("cpsid i")
-#define ao_arch_release_interrupts() asm("cpsie i")
-
#define ao_arch_naked_declare __attribute__((naked))
#define ao_arch_naked_define