/*
 * stm32f4xx_stack.h
 *
 *  Created on: Oct 1, 2015
 *      Author: tkl
 */

#ifndef STM32F4XX_STACK_H_
#define STM32F4XX_STACK_H_

#include <stdint.h>

typedef uint32_t stack_t;

stack_t *stack_init(
		void (*task_func)(void *),
		void *arg,
		stack_t *stack_start,
		unsigned int stack_size);

#endif /* STM32F4XX_STACK_H_ */