Home | History | Annotate | Line # | Download | only in efiboot
boot.c revision 1.16
      1  1.16     skrll /*	$NetBSD: boot.c,v 1.16 2019/04/10 19:36:04 skrll Exp $	*/
      2   1.1  jmcneill 
      3   1.1  jmcneill /*-
      4   1.1  jmcneill  * Copyright (c) 2016 Kimihiro Nonaka <nonaka (at) netbsd.org>
      5   1.1  jmcneill  * Copyright (c) 2018 Jared McNeill <jmcneill (at) invisible.ca>
      6   1.1  jmcneill  * All rights reserved.
      7   1.1  jmcneill  *
      8   1.1  jmcneill  * Redistribution and use in source and binary forms, with or without
      9   1.1  jmcneill  * modification, are permitted provided that the following conditions
     10   1.1  jmcneill  * are met:
     11   1.1  jmcneill  * 1. Redistributions of source code must retain the above copyright
     12   1.1  jmcneill  *    notice, this list of conditions and the following disclaimer.
     13   1.1  jmcneill  * 2. Redistributions in binary form must reproduce the above copyright
     14   1.1  jmcneill  *    notice, this list of conditions and the following disclaimer in the
     15   1.1  jmcneill  *    documentation and/or other materials provided with the distribution.
     16   1.1  jmcneill  *
     17   1.1  jmcneill  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     18   1.1  jmcneill  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     19   1.1  jmcneill  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     20   1.1  jmcneill  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     21   1.1  jmcneill  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     22   1.1  jmcneill  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     23   1.1  jmcneill  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     24   1.1  jmcneill  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     25   1.1  jmcneill  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     26   1.1  jmcneill  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     27   1.1  jmcneill  * SUCH DAMAGE.
     28   1.1  jmcneill  */
     29   1.1  jmcneill 
     30   1.1  jmcneill #include "efiboot.h"
     31   1.3  jmcneill #include "efiblock.h"
     32   1.5  jmcneill #include "efifdt.h"
     33  1.10  jmcneill #include "efiacpi.h"
     34   1.8  jmcneill #include "efienv.h"
     35   1.1  jmcneill 
     36   1.1  jmcneill #include <sys/bootblock.h>
     37   1.1  jmcneill #include <sys/boot_flag.h>
     38   1.1  jmcneill #include <machine/limits.h>
     39   1.1  jmcneill 
     40   1.1  jmcneill #include <loadfile.h>
     41   1.1  jmcneill 
     42   1.1  jmcneill extern const char bootprog_name[], bootprog_rev[], bootprog_kernrev[];
     43   1.1  jmcneill 
     44   1.1  jmcneill extern char twiddle_toggle;
     45   1.1  jmcneill 
     46  1.11       mrg static const char * const names[] = {
     47  1.11       mrg 	"netbsd", "netbsd.gz",
     48  1.11       mrg 	"onetbsd", "onetbsd.gz",
     49  1.11       mrg 	"netbsd.old", "netbsd.old.gz",
     50   1.1  jmcneill };
     51   1.1  jmcneill 
     52   1.1  jmcneill #define NUMNAMES	__arraycount(names)
     53   1.1  jmcneill 
     54  1.13  jmcneill static const char *efi_memory_type[] = {
     55  1.13  jmcneill         [EfiReservedMemoryType]         = "Reserved Memory Type",
     56  1.13  jmcneill         [EfiLoaderCode]                 = "Loader Code",
     57  1.13  jmcneill         [EfiLoaderData]                 = "Loader Data",
     58  1.13  jmcneill         [EfiBootServicesCode]           = "Boot Services Code",
     59  1.13  jmcneill         [EfiBootServicesData]           = "Boot Services Data",
     60  1.13  jmcneill         [EfiRuntimeServicesCode]        = "Runtime Services Code",
     61  1.13  jmcneill         [EfiRuntimeServicesData]        = "Runtime Services Data",
     62  1.13  jmcneill         [EfiConventionalMemory]         = "Conventional Memory",
     63  1.13  jmcneill         [EfiUnusableMemory]             = "Unusable Memory",
     64  1.13  jmcneill         [EfiACPIReclaimMemory]          = "ACPI Reclaim Memory",
     65  1.13  jmcneill         [EfiACPIMemoryNVS]              = "ACPI Memory NVS",
     66  1.13  jmcneill         [EfiMemoryMappedIO]             = "MMIO",
     67  1.13  jmcneill         [EfiMemoryMappedIOPortSpace]    = "MMIO (Port Space)",
     68  1.13  jmcneill         [EfiPalCode]                    = "Pal Code",
     69  1.13  jmcneill         [EfiPersistentMemory]           = "Persistent Memory",
     70  1.13  jmcneill };
     71  1.13  jmcneill 
     72   1.3  jmcneill static char default_device[32];
     73   1.6  jmcneill static char initrd_path[255];
     74   1.7  jmcneill static char dtb_path[255];
     75  1.14  jmcneill static char netbsd_path[255];
     76  1.15     skrll static char netbsd_args[255];
     77  1.11       mrg 
     78  1.11       mrg #define	DEFTIMEOUT	5
     79  1.11       mrg #define DEFFILENAME	names[0]
     80  1.11       mrg 
     81  1.11       mrg int	set_bootfile(const char *);
     82  1.15     skrll int	set_bootargs(const char *);
     83   1.3  jmcneill 
     84   1.1  jmcneill void	command_boot(char *);
     85   1.3  jmcneill void	command_dev(char *);
     86   1.7  jmcneill void	command_dtb(char *);
     87   1.6  jmcneill void	command_initrd(char *);
     88   1.3  jmcneill void	command_ls(char *);
     89  1.13  jmcneill void	command_mem(char *);
     90   1.8  jmcneill void	command_printenv(char *);
     91   1.8  jmcneill void	command_setenv(char *);
     92   1.8  jmcneill void	command_clearenv(char *);
     93   1.8  jmcneill void	command_resetenv(char *);
     94   1.1  jmcneill void	command_reset(char *);
     95   1.1  jmcneill void	command_version(char *);
     96   1.1  jmcneill void	command_quit(char *);
     97   1.1  jmcneill 
     98   1.1  jmcneill const struct boot_command commands[] = {
     99   1.6  jmcneill 	{ "boot",	command_boot,		"boot [dev:][filename] [args]\n     (ex. \"hd0a:\\netbsd.old -s\"" },
    100   1.3  jmcneill 	{ "dev",	command_dev,		"dev" },
    101   1.7  jmcneill 	{ "dtb",	command_dtb,		"dtb [dev:][filename]" },
    102   1.6  jmcneill 	{ "initrd",	command_initrd,		"initrd [dev:][filename]" },
    103   1.4  jmcneill 	{ "ls",		command_ls,		"ls [hdNn:/path]" },
    104  1.13  jmcneill 	{ "mem",	command_mem,		"mem" },
    105   1.8  jmcneill 	{ "printenv",	command_printenv,	"printenv [key]" },
    106   1.8  jmcneill 	{ "setenv",	command_setenv,		"setenv <key> <value>" },
    107   1.8  jmcneill 	{ "clearenv",	command_clearenv,	"clearenv <key>" },
    108   1.8  jmcneill 	{ "resetenv",	command_resetenv,	"resetenv" },
    109   1.9  jmcneill 	{ "reboot",	command_reset,		"reboot|reset" },
    110   1.9  jmcneill 	{ "reset",	command_reset,		NULL },
    111   1.1  jmcneill 	{ "version",	command_version,	"version" },
    112   1.1  jmcneill 	{ "help",	command_help,		"help|?" },
    113   1.1  jmcneill 	{ "?",		command_help,		NULL },
    114   1.1  jmcneill 	{ "quit",	command_quit,		"quit" },
    115   1.1  jmcneill 	{ NULL,		NULL },
    116   1.1  jmcneill };
    117   1.1  jmcneill 
    118   1.1  jmcneill void
    119   1.1  jmcneill command_help(char *arg)
    120   1.1  jmcneill {
    121   1.1  jmcneill 	int n;
    122   1.1  jmcneill 
    123   1.1  jmcneill 	printf("commands are:\n");
    124   1.1  jmcneill 	for (n = 0; commands[n].c_name; n++) {
    125   1.1  jmcneill 		if (commands[n].c_help)
    126   1.1  jmcneill 			printf("%s\n", commands[n].c_help);
    127   1.1  jmcneill 	}
    128   1.1  jmcneill }
    129   1.1  jmcneill 
    130   1.1  jmcneill void
    131   1.1  jmcneill command_boot(char *arg)
    132   1.1  jmcneill {
    133   1.1  jmcneill 	char *fname = arg;
    134  1.11       mrg 	const char *kernel = *fname ? fname : bootfile;
    135   1.1  jmcneill 	char *bootargs = gettrailer(arg);
    136   1.1  jmcneill 
    137  1.11       mrg 	if (!kernel || !*kernel)
    138  1.11       mrg 		kernel = DEFFILENAME;
    139  1.11       mrg 
    140  1.16     skrll 	if (!*bootargs)
    141  1.16     skrll 		bootargs = netbsd_args;
    142  1.16     skrll 
    143  1.11       mrg 	exec_netbsd(kernel, bootargs);
    144   1.1  jmcneill }
    145   1.1  jmcneill 
    146   1.1  jmcneill void
    147   1.3  jmcneill command_dev(char *arg)
    148   1.3  jmcneill {
    149   1.3  jmcneill 	if (arg && *arg) {
    150   1.3  jmcneill 		set_default_device(arg);
    151   1.3  jmcneill 	} else {
    152   1.3  jmcneill 		efi_block_show();
    153   1.4  jmcneill 		efi_net_show();
    154   1.3  jmcneill 	}
    155   1.3  jmcneill 
    156   1.3  jmcneill 	if (strlen(default_device) > 0) {
    157   1.3  jmcneill 		printf("\n");
    158   1.3  jmcneill 		printf("default: %s\n", default_device);
    159   1.3  jmcneill 	}
    160   1.3  jmcneill }
    161   1.3  jmcneill 
    162   1.3  jmcneill void
    163   1.7  jmcneill command_dtb(char *arg)
    164   1.7  jmcneill {
    165   1.7  jmcneill 	set_dtb_path(arg);
    166   1.7  jmcneill }
    167   1.7  jmcneill 
    168   1.7  jmcneill void
    169   1.6  jmcneill command_initrd(char *arg)
    170   1.6  jmcneill {
    171   1.6  jmcneill 	set_initrd_path(arg);
    172   1.6  jmcneill }
    173   1.6  jmcneill 
    174   1.6  jmcneill void
    175   1.3  jmcneill command_ls(char *arg)
    176   1.3  jmcneill {
    177   1.3  jmcneill 	ls(arg);
    178   1.3  jmcneill }
    179   1.3  jmcneill 
    180   1.3  jmcneill void
    181  1.13  jmcneill command_mem(char *arg)
    182  1.13  jmcneill {
    183  1.13  jmcneill 	EFI_MEMORY_DESCRIPTOR *md, *memmap;
    184  1.13  jmcneill 	UINTN nentries, mapkey, descsize;
    185  1.13  jmcneill 	UINT32 descver;
    186  1.13  jmcneill 	int n;
    187  1.13  jmcneill 
    188  1.13  jmcneill 	printf("Type                    Start             End               Attributes\n");
    189  1.13  jmcneill 	printf("----------------------  ----------------  ----------------  ----------------\n");
    190  1.13  jmcneill 	memmap = LibMemoryMap(&nentries, &mapkey, &descsize, &descver);
    191  1.13  jmcneill 	for (n = 0, md = memmap; n < nentries; n++, md = NextMemoryDescriptor(md, descsize)) {
    192  1.13  jmcneill 		const char *mem_type = "<unknown>";
    193  1.13  jmcneill 		if (md->Type < __arraycount(efi_memory_type))
    194  1.13  jmcneill 			mem_type = efi_memory_type[md->Type];
    195  1.13  jmcneill 
    196  1.13  jmcneill 		printf("%-22s  %016" PRIx64 "  %016" PRIx64 "  %016" PRIx64 "\n",
    197  1.13  jmcneill 		    mem_type, md->PhysicalStart, md->PhysicalStart + (md->NumberOfPages * EFI_PAGE_SIZE) - 1,
    198  1.13  jmcneill 		    md->Attribute);
    199  1.13  jmcneill 	}
    200  1.13  jmcneill }
    201  1.13  jmcneill 
    202  1.13  jmcneill void
    203   1.8  jmcneill command_printenv(char *arg)
    204   1.8  jmcneill {
    205   1.8  jmcneill 	char *val;
    206   1.8  jmcneill 
    207   1.8  jmcneill 	if (arg && *arg) {
    208   1.8  jmcneill 		val = efi_env_get(arg);
    209   1.8  jmcneill 		if (val) {
    210   1.8  jmcneill 			printf("\"%s\" = \"%s\"\n", arg, val);
    211   1.8  jmcneill 			FreePool(val);
    212   1.8  jmcneill 		}
    213   1.8  jmcneill 	} else {
    214   1.8  jmcneill 		efi_env_print();
    215   1.8  jmcneill 	}
    216   1.8  jmcneill }
    217   1.8  jmcneill 
    218   1.8  jmcneill void
    219   1.8  jmcneill command_setenv(char *arg)
    220   1.8  jmcneill {
    221   1.8  jmcneill 	char *spc;
    222   1.8  jmcneill 
    223   1.8  jmcneill 	spc = strchr(arg, ' ');
    224   1.8  jmcneill 	if (spc == NULL || spc[1] == '\0') {
    225   1.8  jmcneill 		command_help("");
    226   1.8  jmcneill 		return;
    227   1.8  jmcneill 	}
    228   1.8  jmcneill 
    229   1.8  jmcneill 	*spc = '\0';
    230   1.8  jmcneill 	efi_env_set(arg, spc + 1);
    231   1.8  jmcneill }
    232   1.8  jmcneill 
    233   1.8  jmcneill void
    234   1.8  jmcneill command_clearenv(char *arg)
    235   1.8  jmcneill {
    236   1.8  jmcneill 	if (*arg == '\0') {
    237   1.8  jmcneill 		command_help("");
    238   1.8  jmcneill 		return;
    239   1.8  jmcneill 	}
    240   1.8  jmcneill 	efi_env_clear(arg);
    241   1.8  jmcneill }
    242   1.8  jmcneill 
    243   1.8  jmcneill void
    244   1.8  jmcneill command_resetenv(char *arg)
    245   1.8  jmcneill {
    246   1.8  jmcneill 	efi_env_reset();
    247   1.8  jmcneill }
    248   1.8  jmcneill 
    249   1.8  jmcneill void
    250   1.1  jmcneill command_version(char *arg)
    251   1.1  jmcneill {
    252   1.1  jmcneill 	char *ufirmware;
    253   1.1  jmcneill 	int rv;
    254   1.1  jmcneill 
    255   1.1  jmcneill 	printf("EFI version: %d.%02d\n",
    256   1.1  jmcneill 	    ST->Hdr.Revision >> 16, ST->Hdr.Revision & 0xffff);
    257   1.1  jmcneill 	ufirmware = NULL;
    258   1.1  jmcneill 	rv = ucs2_to_utf8(ST->FirmwareVendor, &ufirmware);
    259   1.1  jmcneill 	if (rv == 0) {
    260   1.1  jmcneill 		printf("EFI Firmware: %s (rev %d.%02d)\n", ufirmware,
    261   1.1  jmcneill 		    ST->FirmwareRevision >> 16,
    262   1.1  jmcneill 		    ST->FirmwareRevision & 0xffff);
    263   1.1  jmcneill 		FreePool(ufirmware);
    264   1.1  jmcneill 	}
    265   1.5  jmcneill 
    266   1.5  jmcneill 	efi_fdt_show();
    267  1.10  jmcneill 	efi_acpi_show();
    268   1.1  jmcneill }
    269   1.1  jmcneill 
    270   1.1  jmcneill void
    271   1.1  jmcneill command_quit(char *arg)
    272   1.1  jmcneill {
    273   1.1  jmcneill 	efi_exit();
    274   1.1  jmcneill }
    275   1.1  jmcneill 
    276   1.9  jmcneill void
    277   1.9  jmcneill command_reset(char *arg)
    278   1.9  jmcneill {
    279   1.9  jmcneill 	efi_reboot();
    280   1.9  jmcneill }
    281   1.9  jmcneill 
    282   1.3  jmcneill int
    283  1.11       mrg set_default_device(const char *arg)
    284   1.3  jmcneill {
    285   1.3  jmcneill 	if (strlen(arg) + 1 > sizeof(default_device))
    286   1.3  jmcneill 		return ERANGE;
    287   1.3  jmcneill 	strcpy(default_device, arg);
    288   1.3  jmcneill 	return 0;
    289   1.3  jmcneill }
    290   1.3  jmcneill 
    291   1.3  jmcneill char *
    292   1.3  jmcneill get_default_device(void)
    293   1.3  jmcneill {
    294   1.3  jmcneill 	return default_device;
    295   1.3  jmcneill }
    296   1.3  jmcneill 
    297   1.6  jmcneill int
    298  1.11       mrg set_initrd_path(const char *arg)
    299   1.6  jmcneill {
    300   1.6  jmcneill 	if (strlen(arg) + 1 > sizeof(initrd_path))
    301   1.6  jmcneill 		return ERANGE;
    302   1.6  jmcneill 	strcpy(initrd_path, arg);
    303   1.6  jmcneill 	return 0;
    304   1.6  jmcneill }
    305   1.6  jmcneill 
    306   1.6  jmcneill char *
    307   1.6  jmcneill get_initrd_path(void)
    308   1.6  jmcneill {
    309   1.6  jmcneill 	return initrd_path;
    310   1.6  jmcneill }
    311   1.6  jmcneill 
    312   1.7  jmcneill int
    313  1.11       mrg set_dtb_path(const char *arg)
    314   1.7  jmcneill {
    315   1.7  jmcneill 	if (strlen(arg) + 1 > sizeof(dtb_path))
    316   1.7  jmcneill 		return ERANGE;
    317   1.7  jmcneill 	strcpy(dtb_path, arg);
    318   1.7  jmcneill 	return 0;
    319   1.7  jmcneill }
    320   1.7  jmcneill 
    321   1.7  jmcneill char *
    322   1.7  jmcneill get_dtb_path(void)
    323   1.7  jmcneill {
    324   1.7  jmcneill 	return dtb_path;
    325   1.7  jmcneill }
    326   1.7  jmcneill 
    327  1.11       mrg int
    328  1.11       mrg set_bootfile(const char *arg)
    329  1.11       mrg {
    330  1.14  jmcneill 	if (strlen(arg) + 1 > sizeof(netbsd_path))
    331  1.11       mrg 		return ERANGE;
    332  1.14  jmcneill 	strcpy(netbsd_path, arg);
    333  1.11       mrg 	return 0;
    334  1.11       mrg }
    335  1.11       mrg 
    336  1.15     skrll int
    337  1.15     skrll set_bootargs(const char *arg)
    338  1.15     skrll {
    339  1.15     skrll 	if (strlen(arg) + 1 > sizeof(netbsd_args))
    340  1.15     skrll 		return ERANGE;
    341  1.15     skrll 	strcpy(netbsd_args, arg);
    342  1.15     skrll 	return 0;
    343  1.15     skrll }
    344  1.15     skrll 
    345   1.1  jmcneill void
    346   1.1  jmcneill print_banner(void)
    347   1.1  jmcneill {
    348   1.1  jmcneill 	printf("\n\n"
    349   1.1  jmcneill 	    ">> %s, Revision %s (from NetBSD %s)\n",
    350   1.1  jmcneill 	    bootprog_name, bootprog_rev, bootprog_kernrev);
    351   1.1  jmcneill }
    352   1.1  jmcneill 
    353   1.8  jmcneill static void
    354   1.8  jmcneill read_env(void)
    355   1.8  jmcneill {
    356   1.8  jmcneill 	char *s;
    357   1.8  jmcneill 
    358   1.8  jmcneill 	s = efi_env_get("fdtfile");
    359   1.8  jmcneill 	if (s) {
    360   1.8  jmcneill #ifdef EFIBOOT_DEBUG
    361   1.8  jmcneill 		printf(">> Setting DTB path to '%s' from environment\n", s);
    362   1.8  jmcneill #endif
    363   1.8  jmcneill 		set_dtb_path(s);
    364   1.8  jmcneill 		FreePool(s);
    365   1.8  jmcneill 	}
    366   1.8  jmcneill 
    367   1.8  jmcneill 	s = efi_env_get("initrd");
    368   1.8  jmcneill 	if (s) {
    369   1.8  jmcneill #ifdef EFIBOOT_DEBUG
    370   1.8  jmcneill 		printf(">> Setting initrd path to '%s' from environment\n", s);
    371   1.8  jmcneill #endif
    372   1.8  jmcneill 		set_initrd_path(s);
    373   1.8  jmcneill 		FreePool(s);
    374   1.8  jmcneill 	}
    375   1.8  jmcneill 
    376  1.11       mrg 	s = efi_env_get("bootfile");
    377  1.11       mrg 	if (s) {
    378  1.11       mrg #ifdef EFIBOOT_DEBUG
    379  1.11       mrg 		printf(">> Setting bootfile path to '%s' from environment\n", s);
    380  1.11       mrg #endif
    381  1.11       mrg 		set_bootfile(s);
    382  1.11       mrg 		FreePool(s);
    383  1.11       mrg 	}
    384  1.11       mrg 
    385   1.8  jmcneill 	s = efi_env_get("rootdev");
    386   1.8  jmcneill 	if (s) {
    387   1.8  jmcneill #ifdef EFIBOOT_DEBUG
    388   1.8  jmcneill 		printf(">> Setting default device to '%s' from environment\n", s);
    389   1.8  jmcneill #endif
    390   1.8  jmcneill 		set_default_device(s);
    391   1.8  jmcneill 		FreePool(s);
    392   1.8  jmcneill 	}
    393  1.15     skrll 
    394  1.15     skrll 	s = efi_env_get("bootargs");
    395  1.15     skrll 	if (s) {
    396  1.15     skrll #ifdef EFIBOOT_DEBUG
    397  1.15     skrll 		printf(">> Setting default boot args to '%s' from environment\n", s);
    398  1.15     skrll #endif
    399  1.15     skrll 		set_bootargs(s);
    400  1.15     skrll 		FreePool(s);
    401  1.15     skrll 	}
    402   1.8  jmcneill }
    403   1.8  jmcneill 
    404   1.1  jmcneill void
    405   1.1  jmcneill boot(void)
    406   1.1  jmcneill {
    407   1.1  jmcneill 	int currname, c;
    408   1.1  jmcneill 
    409   1.8  jmcneill 	read_env();
    410   1.1  jmcneill 	print_banner();
    411  1.11       mrg 	printf("Press return to boot now, any other key for boot prompt\n");
    412   1.1  jmcneill 
    413  1.14  jmcneill 	if (netbsd_path[0] != '\0')
    414  1.11       mrg 		currname = -1;
    415  1.11       mrg 	else
    416  1.11       mrg 		currname = 0;
    417  1.11       mrg 
    418  1.12       mrg 	for (; currname < (int)NUMNAMES; currname++) {
    419  1.11       mrg 		if (currname >= 0)
    420  1.11       mrg 			set_bootfile(names[currname]);
    421  1.16     skrll 		printf("booting %s%s%s - starting in ", netbsd_path,
    422  1.16     skrll 		    netbsd_args[0] != '\0' ? " " : "", netbsd_args);
    423   1.1  jmcneill 
    424   1.1  jmcneill 		c = awaitkey(DEFTIMEOUT, 1);
    425  1.11       mrg 		if (c != '\r' && c != '\n' && c != '\0')
    426   1.1  jmcneill 			bootprompt(); /* does not return */
    427   1.1  jmcneill 
    428  1.15     skrll 		exec_netbsd(netbsd_path, netbsd_args);
    429   1.1  jmcneill 	}
    430   1.1  jmcneill 
    431   1.1  jmcneill 	bootprompt();	/* does not return */
    432   1.1  jmcneill }
    433