src/tools/genboot.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

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

int
main(int argc, char *argv[])
{
	assert(argc == 2);
	FILE *f = fopen(argv[1], "r");
	assert(f != NULL);

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

	int c;
	int 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;
}