#define SEC_OS_DATA_PUB(variable)						__attribute__((section(".os_data_public." #variable)))


SEC_OS_DATA_PUB(os_stack)		ALIGNED(8)				volatile uint32_t os_stack[OS_STACK_SIZE / 4];