![]() |
MCCI Trusted Bootloader
Simple trusted bootloader and tools for small embedded systems
|
#include "mcciadk_env.h"#include <stdbool.h>#include <stddef.h>#include <stdint.h>#include <stdarg.h>Go to the source code of this file.
Macros | |
| #define | MCCI_BOOTLOADER_BEGIN_DECLS /* nothing */ |
| #define | MCCI_BOOTLOADER_END_DECLS /* nothing */ |
| #define | MCCI_BOOTLOADER_NORETURN_PFX /* nothing */ |
| #define | MCCI_BOOTLOADER_NORETURN_SFX __attribute__((__noreturn__)) |
| #define | MCCI_BOOTLOADER_NOT_REACHED() __builtin_unreachable() |
Typedefs | |
| typedef uint32_t | McciBootloaderError_t |
| error codes for the bootloader | |
| typedef uint32_t | McciBootloaderState_t |
| Current boot system state. | |
| typedef uint32_t | McciBootloaderStorageAddress_t |
| Abstract type for storage byte addresses. | |
| #define MCCI_BOOTLOADER_BEGIN_DECLS /* nothing */ |
Definition at line 54 of file mcci_bootloader_types.h.
| #define MCCI_BOOTLOADER_END_DECLS /* nothing */ |
Definition at line 55 of file mcci_bootloader_types.h.
| #define MCCI_BOOTLOADER_NORETURN_PFX /* nothing */ |
Definition at line 62 of file mcci_bootloader_types.h.
| #define MCCI_BOOTLOADER_NORETURN_SFX __attribute__((__noreturn__)) |
Definition at line 63 of file mcci_bootloader_types.h.
| #define MCCI_BOOTLOADER_NOT_REACHED | ( | ) | __builtin_unreachable() |
Definition at line 66 of file mcci_bootloader_types.h.
| typedef uint32_t McciBootloaderError_t |
error codes for the bootloader
Definition at line 81 of file mcci_bootloader_types.h.
| typedef uint32_t McciBootloaderState_t |
Current boot system state.
uint32_t, and have a separate declariton for the enum.Definition at line 99 of file mcci_bootloader_types.h.
| typedef uint32_t McciBootloaderStorageAddress_t |
Abstract type for storage byte addresses.
The bootloader assumes that boot images are wholly contained in the first 4 GiB of the storage device.
Definition at line 89 of file mcci_bootloader_types.h.