#include <stdio.h>
#include <stdlib.h>
#include "board.h"#include "bios.h"
#define MAX_FILENAME_LEN   80
int main(int argc, char **argv)
{
	struct firmware_hdr f_hdr;	char HeaderFileName[MAX_FILENAME_LEN + 1];
	FILE *f;	int verdor_id, device_id, sub_vendor_id, sub_device_id;
	if (argc != 6)
	{
		printf("Usage: fs_hdr <vendor id> <device id> <sub vendor id> <sub device id> <header file name>\n\n");
		exit(0);
	}

	sscanf(argv[1], "%x", &verdor_id);
	sscanf(argv[2], "%x", &device_id);
	sscanf(argv[3], "%x", &sub_vendor_id);
	sscanf(argv[4], "%x", &sub_device_id);
	strncpy(HeaderFileName, argv[5], MAX_FILENAME_LEN);
	HeaderFileName[MAX_FILENAME_LEN] = '\0';
	printf("%04x %04x %04x %04x \r\n", verdor_id, device_id, sub_vendor_id, sub_device_id);	f_hdr.vendor_id = verdor_id;	f_hdr.device_id = device_id;	f_hdr.sub_vendor_id = sub_vendor_id;	f_hdr.sub_device_id = sub_device_id;	f_hdr.rev = 0;	f_hdr.offset = sizeof(struct firmware_hdr);	f = fopen(HeaderFileName, "wb");
	fwrite((char *)(&f_hdr), 1, sizeof(struct firmware_hdr), f);
	fclose(f);
	return 0;
}