#include <stdio.h>
#include <assert.h>

int
main(int argc, char *argv[])
{
	FILE *f;
	int c, s;

	assert(argc == 2);
	f = fopen(argv[1], "r");
	assert(f != NULL);

	printf("unsigned char boot_src[] = { ");

	s = 0;
	while((c = fgetc(f)) != EOF){
		if(s++ > 0)
			printf(", ");
		printf("0x%02x", c);
	}

	printf(" };\n");
	printf("unsigned int boot_src_len = %d;\n", s);

	return 0;
}