#ifndef PIN_MUX_H
#define PIN_MUX_H

void BOARD_InitBootPins();

#endif