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