| Andrei Narkevitch | 5bba54c | 2019-09-23 14:09:13 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2019, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #include "target_cfg.h" |
| 9 | #include "platform/include/tfm_spm_hal.h" |
| 10 | |
| 11 | /* platform-specific hw initialization */ |
| 12 | __WEAK enum tfm_plat_err_t tfm_spm_hal_post_init_platform(void) |
| 13 | { |
| 14 | return TFM_PLAT_ERR_SUCCESS; |
| 15 | } |
| 16 | |
| 17 | enum tfm_plat_err_t tfm_spm_hal_post_init(void) |
| 18 | { |
| 19 | if (tfm_spm_hal_post_init_platform() != TFM_PLAT_ERR_SUCCESS) { |
| 20 | return TFM_PLAT_ERR_SYSTEM_ERR; |
| 21 | } |
| 22 | |
| 23 | __enable_irq(); |
| 24 | stdio_init(); |
| 25 | |
| 26 | return TFM_PLAT_ERR_SUCCESS; |
| 27 | } |