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 - https://www.ti.com/
8 * Copyright (C) 2018 Robert Bosch Power Tools GmbH
9 */
10
11#ifndef _BOARD_H_
12#define _BOARD_H_
13
14void enable_uart0_pin_mux(void);
15void enable_i2c0_pin_mux(void);
16void enable_board_pin_mux(void);
17#endif
18