1 /* boot.c - command to boot an operating system */
3 * GRUB -- GRand Unified Bootloader
4 * Copyright (C) 2003,2005,2007 Free Software Foundation, Inc.
6 * GRUB is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, either version 3 of the License, or
9 * (at your option) any later version.
11 * GRUB is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
20 #include <grub/normal.h>
23 #include <grub/misc.h>
24 #include <grub/loader.h>
27 grub_cmd_boot (struct grub_arg_list
*state
__attribute__ ((unused
)),
28 int argc
, char **args
__attribute__ ((unused
)))
31 return grub_error (GRUB_ERR_BAD_ARGUMENT
, "too many arguments");
42 (void) mod
; /* To stop warning. */
43 grub_register_command ("boot", grub_cmd_boot
, GRUB_COMMAND_FLAG_BOTH
,
44 "boot", "Boot an operating system.", 0);
49 grub_unregister_command ("boot");