altos: Clean up AO_ROMCONFIG bits
[fw/altos] / src / stm32f4 / ao_arch.h
index 083a4e5b448763779c24aa8d9d7c19e3a2ee021b..4e9bdeb68b8202bf0befe59e4a397515e546cc99 100644 (file)
 
 #define AO_PORT_TYPE   uint16_t
 
+#define ao_arch_reboot() \
+       (stm_scb.aircr = ((STM_SCB_AIRCR_VECTKEY_KEY << STM_SCB_AIRCR_VECTKEY) | \
+                         (1 << STM_SCB_AIRCR_SYSRESETREQ)))
+
 #define ao_arch_nop()          asm("nop")
 
+#define AO_ROMCONFIG_SYMBOL __attribute__((section(".romconfig"))) const
+
 #define ao_arch_task_members\
        uint32_t *sp;                   /* saved stack pointer */