1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * board.h
4  *
5  * Board header for Bosch Guardian
6  *
7  * Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/
8  * Copyright (C) 2018 Robert Bosch Power Tools GmbH
9  */
10 
11 #ifndef _BOARD_H_
12 #define _BOARD_H_
13 
14 void enable_uart0_pin_mux(void);
15 void enable_i2c0_pin_mux(void);
16 void enable_board_pin_mux(void);
17 #endif
18