#endif
#include "xilinx_bit.h"
-
#include "pld.h"
#include "log.h"
-#include <stdlib.h>
-#include <unistd.h>
-#include <sys/types.h>
#include <sys/stat.h>
-#include <fcntl.h>
-#include <string.h>
-#include <errno.h>
-#include <sys/time.h>
-#include <time.h>
int read_section(FILE *input_file, int length_size, char section, u32 *buffer_length, u8 **buffer)
{