2 * Copyright (C) 2017 Armadeus Systems
4 * SPDX-License-Identifier: GPL-2.0+
7 #ifndef __ARCH_ARM_MX6UL_OPOS6UL_H__
8 #define __ARCH_ARM_MX6UL_OPOS6UL_H__
10 int opos6ul_board_late_init(void);
12 #ifdef CONFIG_SPL_BUILD
13 void opos6ul_setup_uart_debug(void);