#include "alt_types.h"

/*
 * Define whether we are booting from flash or from on-chip RAM
 */

/*
 * Size of buffer for processing flash contents
 */
#define FLASH_BUFFER_LENGTH 256


void ReleaseMainCPU(void entry_point(void));
void* CopyFromFlash( void * dest, const void * src, size_t num );
void JumpFromBootCopier(void target(void));
int MyJtagWrite(const char *buf, int len);
int MyJtagWrite8(const char *buf, int len);
alt_u32 GenericTimeoutCallback (void* context);

long findImage(void);
int testRAM(void);