1 /* 2 * Copyright (c) 2016-2023 ARM Limited 3 * 4 * Licensed under the Apache License Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing software 11 * distributed under the License is distributed on an "AS IS" BASIS 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 /** 18 * \file platform_retarget_dev.h 19 * \brief The structure definitions in this file are exported based on the peripheral 20 * definitions from device_cfg.h. 21 * This retarget file is meant to be used as a helper for baremetal 22 * applications and/or as an example of how to configure the generic 23 * driver structures. 24 */ 25 26 #ifndef __M2354_RETARGET_DEV_H__ 27 #define __M2354_RETARGET_DEV_H__ 28 29 #include "device_cfg.h" 30 31 32 /* ======= Defines peripheral configuration structures ======= */ 33 /* ======= and includes generic driver headers if necessary ======= */ 34 /* ARM UART driver structures */ 35 #ifdef ARM_UART0_S 36 #include "arm_uart_drv.h" 37 extern struct arm_uart_dev_t ARM_UART0_DEV_S; 38 #endif 39 #ifdef ARM_UART0_NS 40 #include "arm_uart_drv.h" 41 extern struct arm_uart_dev_t ARM_UART0_DEV_NS; 42 #endif 43 44 45 46 /* CMSDK Timer driver structures */ 47 #ifdef CMSDK_TIMER0_S 48 #include "timer_cmsdk.h" 49 extern struct cmsdk_timer_dev_t CMSDK_TIMER0_DEV_S; 50 #endif 51 #ifdef CMSDK_TIMER0_NS 52 #include "timer_cmsdk.h" 53 extern struct cmsdk_timer_dev_t CMSDK_TIMER0_DEV_NS; 54 #endif 55 #ifdef CMSDK_TIMER1_S 56 #include "timer_cmsdk.h" 57 extern struct cmsdk_timer_dev_t CMSDK_TIMER1_DEV_S; 58 #endif 59 #ifdef CMSDK_TIMER1_NS 60 #include "timer_cmsdk.h" 61 extern struct cmsdk_timer_dev_t CMSDK_TIMER1_DEV_NS; 62 #endif 63 64 65 #endif /* __M2354_RETARGET_DEV_H__ */ 66