/*
 * Copyright (c) 2022, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

#include "Driver_USART.h"
#include "cmsis.h"
#include "test_interrupt.h"
#include "tfm_peripherals_def.h"
#include "uart_stdout.h"

int32_t tfm_ns_platform_init(void)
{
    /* Register FPU non-secure test interrupt handler */
    NVIC_SetVector(TFM_FPU_NS_TEST_IRQ, (uint32_t) TFM_FPU_NS_TEST_Handler);

    /* Enable FPU non-secure test interrupt */
    NVIC_EnableIRQ(TFM_FPU_NS_TEST_IRQ);

    stdio_init();

    return ARM_DRIVER_OK;
}