1*1b8adde7SWilliam Kucharski /* mbchk - a simple checker for the format of a Multiboot kernel */
2*1b8adde7SWilliam Kucharski /*
3*1b8adde7SWilliam Kucharski * Copyright (C) 1999,2001,2002 Free Software Foundation, Inc.
4*1b8adde7SWilliam Kucharski *
5*1b8adde7SWilliam Kucharski * This program is free software; you can redistribute it and/or modify
6*1b8adde7SWilliam Kucharski * it under the terms of the GNU General Public License as published by
7*1b8adde7SWilliam Kucharski * the Free Software Foundation; either version 2 of the License, or
8*1b8adde7SWilliam Kucharski * (at your option) any later version.
9*1b8adde7SWilliam Kucharski *
10*1b8adde7SWilliam Kucharski * This program is distributed in the hope that it will be useful,
11*1b8adde7SWilliam Kucharski * but WITHOUT ANY WARRANTY; without even the implied warranty of
12*1b8adde7SWilliam Kucharski * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13*1b8adde7SWilliam Kucharski * GNU General Public License for more details.
14*1b8adde7SWilliam Kucharski *
15*1b8adde7SWilliam Kucharski * You should have received a copy of the GNU General Public License
16*1b8adde7SWilliam Kucharski * along with this program; if not, write to the Free Software
17*1b8adde7SWilliam Kucharski * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
18*1b8adde7SWilliam Kucharski */
19*1b8adde7SWilliam Kucharski
20*1b8adde7SWilliam Kucharski #include <config.h>
21*1b8adde7SWilliam Kucharski
22*1b8adde7SWilliam Kucharski #include <stdio.h>
23*1b8adde7SWilliam Kucharski #include <stdlib.h>
24*1b8adde7SWilliam Kucharski #include <getopt.h>
25*1b8adde7SWilliam Kucharski #include <multiboot.h>
26*1b8adde7SWilliam Kucharski
27*1b8adde7SWilliam Kucharski static int quiet = 0;
28*1b8adde7SWilliam Kucharski static char *optstring = "hvq";
29*1b8adde7SWilliam Kucharski static struct option longopts[] =
30*1b8adde7SWilliam Kucharski {
31*1b8adde7SWilliam Kucharski {"help", no_argument, 0, 'h'},
32*1b8adde7SWilliam Kucharski {"version", no_argument, 0, 'v'},
33*1b8adde7SWilliam Kucharski {"quiet", no_argument, 0, 'q'},
34*1b8adde7SWilliam Kucharski {0}
35*1b8adde7SWilliam Kucharski };
36*1b8adde7SWilliam Kucharski
37*1b8adde7SWilliam Kucharski static void
usage(int status)38*1b8adde7SWilliam Kucharski usage (int status)
39*1b8adde7SWilliam Kucharski {
40*1b8adde7SWilliam Kucharski if (status)
41*1b8adde7SWilliam Kucharski fprintf (stderr, "Try ``mbchk --help'' for more information.\n");
42*1b8adde7SWilliam Kucharski else
43*1b8adde7SWilliam Kucharski printf ("Usage: mbchk [OPTION]... [FILE]...\n"
44*1b8adde7SWilliam Kucharski "Check if the format of FILE complies with the Multiboot Specification.\n"
45*1b8adde7SWilliam Kucharski "\n"
46*1b8adde7SWilliam Kucharski "-q, --quiet suppress all normal output\n"
47*1b8adde7SWilliam Kucharski "-h, --help display this help and exit\n"
48*1b8adde7SWilliam Kucharski "-v, --version output version information and exit.\n"
49*1b8adde7SWilliam Kucharski "\n"
50*1b8adde7SWilliam Kucharski "Report bugs to <bug-grub@gnu.org>.\n");
51*1b8adde7SWilliam Kucharski
52*1b8adde7SWilliam Kucharski exit (status);
53*1b8adde7SWilliam Kucharski }
54*1b8adde7SWilliam Kucharski
55*1b8adde7SWilliam Kucharski static int
check_multiboot(const char * filename,FILE * fp)56*1b8adde7SWilliam Kucharski check_multiboot (const char *filename, FILE *fp)
57*1b8adde7SWilliam Kucharski {
58*1b8adde7SWilliam Kucharski multiboot_header_t *mbh = 0;
59*1b8adde7SWilliam Kucharski int i;
60*1b8adde7SWilliam Kucharski char buf[8192];
61*1b8adde7SWilliam Kucharski
62*1b8adde7SWilliam Kucharski if (fread (buf, 1, 8192, fp) < 0)
63*1b8adde7SWilliam Kucharski {
64*1b8adde7SWilliam Kucharski fprintf (stderr, "%s: Read error.\n", filename);
65*1b8adde7SWilliam Kucharski return 0;
66*1b8adde7SWilliam Kucharski }
67*1b8adde7SWilliam Kucharski
68*1b8adde7SWilliam Kucharski for (i = 0; i < 8192 - sizeof (multiboot_header_t); i++)
69*1b8adde7SWilliam Kucharski {
70*1b8adde7SWilliam Kucharski unsigned long magic = *((unsigned long *) (buf + i));
71*1b8adde7SWilliam Kucharski
72*1b8adde7SWilliam Kucharski if (magic == MULTIBOOT_HEADER_MAGIC)
73*1b8adde7SWilliam Kucharski {
74*1b8adde7SWilliam Kucharski mbh = (multiboot_header_t *) (buf + i);
75*1b8adde7SWilliam Kucharski break;
76*1b8adde7SWilliam Kucharski }
77*1b8adde7SWilliam Kucharski }
78*1b8adde7SWilliam Kucharski
79*1b8adde7SWilliam Kucharski if (! mbh)
80*1b8adde7SWilliam Kucharski {
81*1b8adde7SWilliam Kucharski fprintf (stderr, "%s: No Multiboot header.\n", filename);
82*1b8adde7SWilliam Kucharski return 0;
83*1b8adde7SWilliam Kucharski }
84*1b8adde7SWilliam Kucharski
85*1b8adde7SWilliam Kucharski if (! quiet)
86*1b8adde7SWilliam Kucharski printf ("%s: The Multiboot header is found at the offset %d.\n",
87*1b8adde7SWilliam Kucharski filename, i);
88*1b8adde7SWilliam Kucharski
89*1b8adde7SWilliam Kucharski /* Check for the checksum. */
90*1b8adde7SWilliam Kucharski if (mbh->magic + mbh->flags + mbh->checksum != 0)
91*1b8adde7SWilliam Kucharski {
92*1b8adde7SWilliam Kucharski fprintf (stderr,
93*1b8adde7SWilliam Kucharski "%s: Bad checksum (0x%lx).\n",
94*1b8adde7SWilliam Kucharski filename, mbh->checksum);
95*1b8adde7SWilliam Kucharski return 0;
96*1b8adde7SWilliam Kucharski }
97*1b8adde7SWilliam Kucharski
98*1b8adde7SWilliam Kucharski /* Reserved flags must be zero. */
99*1b8adde7SWilliam Kucharski if (mbh->flags & ~0x00010003)
100*1b8adde7SWilliam Kucharski {
101*1b8adde7SWilliam Kucharski fprintf (stderr,
102*1b8adde7SWilliam Kucharski "%s: Non-zero is found in reserved flags (0x%lx).\n",
103*1b8adde7SWilliam Kucharski filename, mbh->flags);
104*1b8adde7SWilliam Kucharski return 0;
105*1b8adde7SWilliam Kucharski }
106*1b8adde7SWilliam Kucharski
107*1b8adde7SWilliam Kucharski if (! quiet)
108*1b8adde7SWilliam Kucharski {
109*1b8adde7SWilliam Kucharski printf ("%s: Page alignment is turned %s.\n",
110*1b8adde7SWilliam Kucharski filename, (mbh->flags & 0x1)? "on" : "off");
111*1b8adde7SWilliam Kucharski printf ("%s: Memory information is turned %s.\n",
112*1b8adde7SWilliam Kucharski filename, (mbh->flags & 0x2)? "on" : "off");
113*1b8adde7SWilliam Kucharski printf ("%s: Address fields is turned %s.\n",
114*1b8adde7SWilliam Kucharski filename, (mbh->flags & 0x10000)? "on" : "off");
115*1b8adde7SWilliam Kucharski }
116*1b8adde7SWilliam Kucharski
117*1b8adde7SWilliam Kucharski /* Check for the address fields. */
118*1b8adde7SWilliam Kucharski if (mbh->flags & 0x10000)
119*1b8adde7SWilliam Kucharski {
120*1b8adde7SWilliam Kucharski if (mbh->header_addr < mbh->load_addr)
121*1b8adde7SWilliam Kucharski {
122*1b8adde7SWilliam Kucharski fprintf (stderr,
123*1b8adde7SWilliam Kucharski "%s: header_addr is less than "
124*1b8adde7SWilliam Kucharski "load_addr (0x%lx > 0x%lx).\n",
125*1b8adde7SWilliam Kucharski filename, mbh->header_addr, mbh->load_addr);
126*1b8adde7SWilliam Kucharski return 0;
127*1b8adde7SWilliam Kucharski }
128*1b8adde7SWilliam Kucharski
129*1b8adde7SWilliam Kucharski if (mbh->load_end_addr && mbh->load_addr >= mbh->load_end_addr)
130*1b8adde7SWilliam Kucharski {
131*1b8adde7SWilliam Kucharski fprintf (stderr,
132*1b8adde7SWilliam Kucharski "%s: load_addr is not less than load_end_addr"
133*1b8adde7SWilliam Kucharski " (0x%lx >= 0x%lx).\n",
134*1b8adde7SWilliam Kucharski filename, mbh->load_addr, mbh->load_end_addr);
135*1b8adde7SWilliam Kucharski return 0;
136*1b8adde7SWilliam Kucharski }
137*1b8adde7SWilliam Kucharski
138*1b8adde7SWilliam Kucharski if (mbh->bss_end_addr && mbh->load_end_addr > mbh->bss_end_addr)
139*1b8adde7SWilliam Kucharski {
140*1b8adde7SWilliam Kucharski fprintf (stderr,
141*1b8adde7SWilliam Kucharski "%s: load_end_addr is greater than bss_end_addr"
142*1b8adde7SWilliam Kucharski " (0x%lx > 0x%lx).\n",
143*1b8adde7SWilliam Kucharski filename, mbh->load_end_addr, mbh->bss_end_addr);
144*1b8adde7SWilliam Kucharski return 0;
145*1b8adde7SWilliam Kucharski }
146*1b8adde7SWilliam Kucharski
147*1b8adde7SWilliam Kucharski if (mbh->load_addr > mbh->entry_addr)
148*1b8adde7SWilliam Kucharski {
149*1b8adde7SWilliam Kucharski fprintf (stderr,
150*1b8adde7SWilliam Kucharski "%s: load_addr is greater than entry_addr"
151*1b8adde7SWilliam Kucharski " (0x%lx > 0x%lx).\n",
152*1b8adde7SWilliam Kucharski filename, mbh->load_addr, mbh->entry_addr);
153*1b8adde7SWilliam Kucharski return 0;
154*1b8adde7SWilliam Kucharski }
155*1b8adde7SWilliam Kucharski
156*1b8adde7SWilliam Kucharski /* FIXME: It is better to check if the entry address is within the
157*1b8adde7SWilliam Kucharski file, especially when the load end address is zero. */
158*1b8adde7SWilliam Kucharski if (mbh->load_end_addr && mbh->load_end_addr <= mbh->entry_addr)
159*1b8adde7SWilliam Kucharski {
160*1b8adde7SWilliam Kucharski fprintf (stderr,
161*1b8adde7SWilliam Kucharski "%s: load_end_addr is not greater than entry_addr"
162*1b8adde7SWilliam Kucharski " (0x%lx <= 0x%lx).\n",
163*1b8adde7SWilliam Kucharski filename, mbh->load_end_addr, mbh->entry_addr);
164*1b8adde7SWilliam Kucharski return 0;
165*1b8adde7SWilliam Kucharski }
166*1b8adde7SWilliam Kucharski
167*1b8adde7SWilliam Kucharski /* This is a GRUB-specific limitation. */
168*1b8adde7SWilliam Kucharski if (mbh->load_addr < 0x100000)
169*1b8adde7SWilliam Kucharski {
170*1b8adde7SWilliam Kucharski fprintf (stderr,
171*1b8adde7SWilliam Kucharski "%s: Cannot be loaded at less than 1MB by GRUB"
172*1b8adde7SWilliam Kucharski " (0x%lx).\n",
173*1b8adde7SWilliam Kucharski filename, mbh->load_addr);
174*1b8adde7SWilliam Kucharski return 0;
175*1b8adde7SWilliam Kucharski }
176*1b8adde7SWilliam Kucharski }
177*1b8adde7SWilliam Kucharski
178*1b8adde7SWilliam Kucharski if (! quiet)
179*1b8adde7SWilliam Kucharski printf ("%s: All checks passed.\n", filename);
180*1b8adde7SWilliam Kucharski
181*1b8adde7SWilliam Kucharski return 1;
182*1b8adde7SWilliam Kucharski }
183*1b8adde7SWilliam Kucharski
184*1b8adde7SWilliam Kucharski int
main(int argc,char * argv[])185*1b8adde7SWilliam Kucharski main (int argc, char *argv[])
186*1b8adde7SWilliam Kucharski {
187*1b8adde7SWilliam Kucharski int c;
188*1b8adde7SWilliam Kucharski
189*1b8adde7SWilliam Kucharski do
190*1b8adde7SWilliam Kucharski {
191*1b8adde7SWilliam Kucharski c = getopt_long (argc, argv, optstring, longopts, 0);
192*1b8adde7SWilliam Kucharski switch (c)
193*1b8adde7SWilliam Kucharski {
194*1b8adde7SWilliam Kucharski case EOF:
195*1b8adde7SWilliam Kucharski break;
196*1b8adde7SWilliam Kucharski
197*1b8adde7SWilliam Kucharski case 'h':
198*1b8adde7SWilliam Kucharski usage (0);
199*1b8adde7SWilliam Kucharski break;
200*1b8adde7SWilliam Kucharski
201*1b8adde7SWilliam Kucharski case 'v':
202*1b8adde7SWilliam Kucharski printf ("mbchk (GNU GRUB " VERSION ")\n");
203*1b8adde7SWilliam Kucharski exit (0);
204*1b8adde7SWilliam Kucharski break;
205*1b8adde7SWilliam Kucharski
206*1b8adde7SWilliam Kucharski case 'q':
207*1b8adde7SWilliam Kucharski quiet = 1;
208*1b8adde7SWilliam Kucharski break;
209*1b8adde7SWilliam Kucharski
210*1b8adde7SWilliam Kucharski default:
211*1b8adde7SWilliam Kucharski usage (1);
212*1b8adde7SWilliam Kucharski break;
213*1b8adde7SWilliam Kucharski }
214*1b8adde7SWilliam Kucharski }
215*1b8adde7SWilliam Kucharski while (c != EOF);
216*1b8adde7SWilliam Kucharski
217*1b8adde7SWilliam Kucharski if (optind < argc)
218*1b8adde7SWilliam Kucharski {
219*1b8adde7SWilliam Kucharski while (optind < argc)
220*1b8adde7SWilliam Kucharski {
221*1b8adde7SWilliam Kucharski FILE *fp;
222*1b8adde7SWilliam Kucharski
223*1b8adde7SWilliam Kucharski fp = fopen (argv[optind], "r");
224*1b8adde7SWilliam Kucharski if (! fp)
225*1b8adde7SWilliam Kucharski {
226*1b8adde7SWilliam Kucharski fprintf (stderr, "%s: No such file.\n", argv[optind]);
227*1b8adde7SWilliam Kucharski exit (1);
228*1b8adde7SWilliam Kucharski }
229*1b8adde7SWilliam Kucharski
230*1b8adde7SWilliam Kucharski if (! check_multiboot (argv[optind], fp))
231*1b8adde7SWilliam Kucharski exit (1);
232*1b8adde7SWilliam Kucharski
233*1b8adde7SWilliam Kucharski fclose (fp);
234*1b8adde7SWilliam Kucharski optind++;
235*1b8adde7SWilliam Kucharski }
236*1b8adde7SWilliam Kucharski }
237*1b8adde7SWilliam Kucharski else
238*1b8adde7SWilliam Kucharski {
239*1b8adde7SWilliam Kucharski if (! check_multiboot ("<stdin>", stdin))
240*1b8adde7SWilliam Kucharski exit (1);
241*1b8adde7SWilliam Kucharski }
242*1b8adde7SWilliam Kucharski
243*1b8adde7SWilliam Kucharski return 0;
244*1b8adde7SWilliam Kucharski }
245