#ifndef __405EX_H_
#define __405EX_H_

/* functions to be provided by board implementation */
void gd405ex_init(void);
void gd405ex_set_fpga_reset(unsigned state);
void gd405ex_setup_hw(void);
int gd405ex_get_fpga_done(unsigned fpga);

#endif /* __405EX_H_ */