00001
00002
00003 #include "edtinc.h"
00004 #include <sys/stat.h>
00005
00006 #ifdef DOXYGEN_SHOW_UNDOC
00007
00011 #endif
00012
00013
00014
00015
00016
00017
00018 #define EDT_MAX_BOARDS 32
00019 #define EDT_MAX_BITFILES 64
00020
00021 typedef struct {
00022 int unit_no ;
00023 char *intfc_bitfile ;
00024 char board_name[64] ;
00025 char pci_xilinx_type[64] ;
00026 char pci_flash_name[64] ;
00027 } edt_board_desc ;
00028
00029 typedef struct {
00030 char *pci_bitfile_name ;
00031 char *pci_bitfile_comment ;
00032 int intfc_bitfile_count ;
00033 char *intfc_bitfile_names[64] ;
00034 char *intfc_bitfile_comments[64] ;
00035 } edt_bitfile_desc ;
00036
00037 typedef edt_board_desc edt_board_desc_table[EDT_MAX_BOARDS] ;
00038 typedef edt_bitfile_desc edt_bitfile_desc_table[EDT_MAX_BITFILES] ;
00039
00040
00041
00042
00043 int edt_probe_boards(edt_board_desc_table edt_boards);
00044 int create_pcdload_script(edt_board_desc_table);
00045 char *get_bitfile_list(edt_bitfile_desc_table edt_bitfiles);
00046 char *get_board_list(edt_board_desc_table edt_boards);
00047 void app_perror(char *str);
00048 int edt_read_bitfile_config(
00049 char *cfg_file_name, edt_bitfile_desc_table edt_bitfiles);
00050 edt_bitfile_desc *edt_get_bitfile_desc(
00051 char *flash_name, edt_bitfile_desc_table edt_bitfiles);
00052
00053 #ifdef DOXYGEN_SHOW_UNDOC
00054
00055 #endif