2017-03-20 17:41:49 -07:00
|
|
|
#ifndef __TREZORHAL_COMMON_H__
|
|
|
|
#define __TREZORHAL_COMMON_H__
|
|
|
|
|
2017-03-29 11:50:45 -07:00
|
|
|
#include <stdint.h>
|
|
|
|
|
2017-04-10 10:11:44 -07:00
|
|
|
#define BOARDLOADER_START 0x08000000
|
2017-04-10 10:24:21 -07:00
|
|
|
#define BOOTLOADER_START 0x08010000
|
2017-04-10 10:11:44 -07:00
|
|
|
#define FIRMWARE_START 0x08020000
|
|
|
|
#define HEADER_SIZE 0x200
|
2017-03-30 07:47:02 -07:00
|
|
|
|
2017-03-23 08:22:58 -07:00
|
|
|
void periph_init(void);
|
2017-03-20 17:41:49 -07:00
|
|
|
|
2017-04-28 06:39:22 -07:00
|
|
|
void __attribute__((noreturn)) __fatal_error(const char *msg, const char *file, int line, const char *func);
|
2017-03-20 17:41:49 -07:00
|
|
|
|
2017-04-28 06:39:22 -07:00
|
|
|
void __attribute__((noreturn)) nlr_jump_fail(void *val);
|
2017-03-20 17:41:49 -07:00
|
|
|
|
2017-03-29 11:50:45 -07:00
|
|
|
void jump_to(uint32_t address);
|
|
|
|
|
2017-03-20 17:41:49 -07:00
|
|
|
#endif
|