#include <std.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>

#include <csl.h>

#include "resources.h"

#pragma CODE_SECTION(initExtPinGpio, "xcode");

void initExtPinGpio() {
	#if ((defined(REV_E))&&(!defined(SIM)))
	{
		UINT32 *gpioDir= (UINT32 *) 0x01b00004;
		*gpioDir|= 0xc0;
	}
	#endif
}