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 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 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 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