1.\" Copyright (c) 1999 Daniel C. Sobral 2.\" All rights reserved. 3.\" 4.\" Redistribution and use in source and binary forms, with or without 5.\" modification, are permitted provided that the following conditions 6.\" are met: 7.\" 1. Redistributions of source code must retain the above copyright 8.\" notice, this list of conditions and the following disclaimer. 9.\" 2. Redistributions in binary form must reproduce the above copyright 10.\" notice, this list of conditions and the following disclaimer in the 11.\" documentation and/or other materials provided with the distribution. 12.\" 13.\" THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 14.\" ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 15.\" IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 16.\" ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 17.\" FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 18.\" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 19.\" OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 20.\" HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 21.\" LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 22.\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 23.\" SUCH DAMAGE. 24.\" 25.\" $FreeBSD$ 26.\" 27.Dd October 2, 2020 28.Dt LOADER 8 29.Os 30.Sh NAME 31.Nm loader 32.Nd kernel bootstrapping final stage 33.Sh DESCRIPTION 34The program called 35.Nm 36is the final stage of 37.Fx Ns 's 38kernel bootstrapping process. 39On IA32 (i386) architectures, it is a 40.Pa BTX 41client. 42It is linked statically to 43.Xr libstand 3 44and usually located in the directory 45.Pa /boot . 46.Pp 47It provides a scripting language that can be used to 48automate tasks, do pre-configuration or assist in recovery 49procedures. 50This scripting language is roughly divided in 51two main components. 52The smaller one is a set of commands 53designed for direct use by the casual user, called "builtin 54commands" for historical reasons. 55The main drive behind these commands is user-friendliness. 56The bigger component is an 57.Tn ANS 58Forth compatible Forth interpreter based on FICL, by 59.An John Sadler . 60.Pp 61During initialization, 62.Nm 63will probe for a console and set the 64.Va console 65variable, or set it to serial console 66.Pq Dq Li comconsole 67if the previous boot stage used that. 68If multiple consoles are selected, they will be listed separated by spaces. 69Then, devices are probed, 70.Va currdev 71and 72.Va loaddev 73are set, and 74.Va LINES 75is set to 24. 76Next, 77.Tn FICL 78is initialized, the builtin words are added to its vocabulary, and 79.Pa /boot/boot.4th 80is processed if it exists. 81No disk switching is possible while that file is being read. 82The inner interpreter 83.Nm 84will use with 85.Tn FICL 86is then set to 87.Ic interpret , 88which is 89.Tn FICL Ns 's 90default. 91After that, 92.Pa /boot/loader.rc 93is processed if available. 94These files are processed through the 95.Ic include 96command, which reads all of them into memory before processing them, 97making disk changes possible. 98.Pp 99At this point, if an 100.Ic autoboot 101has not been tried, and if 102.Va autoboot_delay 103is not set to 104.Dq Li NO 105(not case sensitive), then an 106.Ic autoboot 107will be tried. 108If the system gets past this point, 109.Va prompt 110will be set and 111.Nm 112will engage interactive mode. 113Please note that historically even when 114.Va autoboot_delay 115is set to 116.Dq Li 0 117user will be able to interrupt autoboot process by pressing some key 118on the console while kernel and modules are being loaded. 119In some 120cases such behaviour may be undesirable, to prevent it set 121.Va autoboot_delay 122to 123.Dq Li -1 , 124in this case 125.Nm 126will engage interactive mode only if 127.Ic autoboot 128has failed. 129.Sh BUILTIN COMMANDS 130In 131.Nm , 132builtin commands take parameters from the command line. 133Presently, 134the only way to call them from a script is by using 135.Pa evaluate 136on a string. 137If an error condition occurs, an exception will be generated, 138which can be intercepted using 139.Tn ANS 140Forth exception handling 141words. 142If not intercepted, an error message will be displayed and 143the interpreter's state will be reset, emptying the stack and restoring 144interpreting mode. 145.Pp 146The builtin commands available are: 147.Pp 148.Bl -tag -width Ds -compact 149.It Ic autoboot Op Ar seconds Op Ar prompt 150Proceeds to bootstrap the system after a number of seconds, if not 151interrupted by the user. 152Displays a countdown prompt 153warning the user the system is about to be booted, 154unless interrupted by a key press. 155The kernel will be loaded first if necessary. 156Defaults to 10 seconds. 157.Pp 158.It Ic bcachestat 159Displays statistics about disk cache usage. 160For debugging only. 161.Pp 162.It Ic boot 163.It Ic boot Ar kernelname Op Cm ... 164.It Ic boot Fl flag Cm ... 165Immediately proceeds to bootstrap the system, loading the kernel 166if necessary. 167Any flags or arguments are passed to the kernel, but they 168must precede the kernel name, if a kernel name is provided. 169.Pp 170.Em WARNING : 171The behavior of this builtin is changed if 172.Xr loader.4th 8 173is loaded. 174.Pp 175.It Ic echo Xo 176.Op Fl n 177.Op Aq message 178.Xc 179Displays text on the screen. 180A new line will be printed unless 181.Fl n 182is specified. 183.Pp 184.It Ic heap 185Displays memory usage statistics. 186For debugging purposes only. 187.Pp 188.It Ic help Op topic Op subtopic 189Shows help messages read from 190.Pa /boot/loader.help . 191The special topic 192.Em index 193will list the topics available. 194.Pp 195.It Ic include Ar file Op Ar 196Process script files. 197Each file, in turn, is completely read into memory, 198and then each of its lines is passed to the command line interpreter. 199If any error is returned by the interpreter, the include 200command aborts immediately, without reading any other files, and 201returns an error itself (see 202.Sx ERRORS ) . 203.Pp 204.It Ic load Xo 205.Op Fl t Ar type 206.Ar file Cm ... 207.Xc 208Loads a kernel, kernel loadable module (kld), disk image, 209or file of opaque contents tagged as being of the type 210.Ar type . 211Kernel and modules can be either in a.out or ELF format. 212Any arguments passed after the name of the file to be loaded 213will be passed as arguments to that file. 214Use the 215.Li md_image 216type to make the kernel create a file-backed 217.Xr md 4 218disk. 219This is useful for booting from a temporary rootfs. 220Currently, argument passing does not work for the kernel. 221.Pp 222.It Ic load_geli Xo 223.Op Fl n Ar keyno 224.Ar prov Ar file 225.Xc 226Loads a 227.Xr geli 8 228encryption keyfile for the given provider name. 229The key index can be specified via 230.Ar keyno 231or will default to zero. 232.Pp 233.It Ic ls Xo 234.Op Fl l 235.Op Ar path 236.Xc 237Displays a listing of files in the directory 238.Ar path , 239or the root directory if 240.Ar path 241is not specified. 242If 243.Fl l 244is specified, file sizes will be shown too. 245.Pp 246.It Ic lsdev Op Fl v 247Lists all of the devices from which it may be possible to load modules, 248as well as ZFS pools. 249If 250.Fl v 251is specified, more details are printed, including ZFS pool information 252in a format that resembles 253.Nm zpool Cm status 254output. 255.Pp 256.It Ic lsmod Op Fl v 257Displays loaded modules. 258If 259.Fl v 260is specified, more details are shown. 261.Pp 262.It Ic lszfs Ar filesystem 263A ZFS extended command that can be used to explore the ZFS filesystem 264hierarchy in a pool. 265Lists the immediate children of the 266.Ar filesystem . 267The filesystem hierarchy is rooted at a filesystem with the same name 268as the pool. 269.Pp 270.It Ic more Ar file Op Ar 271Display the files specified, with a pause at each 272.Va LINES 273displayed. 274.Pp 275.It Ic pnpscan Op Fl v 276Scans for Plug-and-Play devices. 277This is not functional at present. 278.Pp 279.It Ic read Xo 280.Op Fl t Ar seconds 281.Op Fl p Ar prompt 282.Op Va variable 283.Xc 284Reads a line of input from the terminal, storing it in 285.Va variable 286if specified. 287A timeout can be specified with 288.Fl t , 289though it will be canceled at the first key pressed. 290A prompt may also be displayed through the 291.Fl p 292flag. 293.Pp 294.It Ic reboot 295Immediately reboots the system. 296.Pp 297.It Ic set Ar variable 298.It Ic set Ar variable Ns = Ns Ar value 299Set loader's environment variables. 300.Pp 301.It Ic show Op Va variable 302Displays the specified variable's value, or all variables and their 303values if 304.Va variable 305is not specified. 306.Pp 307.It Ic unload 308Remove all modules from memory. 309.Pp 310.It Ic unset Va variable 311Removes 312.Va variable 313from the environment. 314.Pp 315.It Ic \&? 316Lists available commands. 317.El 318.Ss BUILTIN ENVIRONMENT VARIABLES 319The 320.Nm 321has actually two different kinds of 322.Sq environment 323variables. 324There are ANS Forth's 325.Em environmental queries , 326and a separate space of environment variables used by builtins, which 327are not directly available to Forth words. 328It is the latter type that this section covers. 329.Pp 330Environment variables can be set and unset through the 331.Ic set 332and 333.Ic unset 334builtins, and can have their values interactively examined through the 335use of the 336.Ic show 337builtin. 338Their values can also be accessed as described in 339.Sx BUILTIN PARSER . 340.Pp 341Notice that these environment variables are not inherited by any shell 342after the system has been booted. 343.Pp 344A few variables are set automatically by 345.Nm . 346Others can affect the behavior of either 347.Nm 348or the kernel at boot. 349Some options may require a value, 350while others define behavior just by being set. 351Both types of builtin variables are described below. 352.Bl -tag -width bootfile 353.It Va autoboot_delay 354Number of seconds 355.Ic autoboot 356will wait before booting. 357Configuration options are described in 358.Xr loader.conf 5 . 359.It Va boot_askname 360Instructs the kernel to prompt the user for the name of the root device 361when the kernel is booted. 362.It Va boot_cdrom 363Instructs the kernel to try to mount the root file system from CD-ROM. 364.It Va boot_ddb 365Instructs the kernel to start in the DDB debugger, rather than 366proceeding to initialize when booted. 367.It Va boot_dfltroot 368Instructs the kernel to mount the statically compiled-in root file system. 369.It Va boot_gdb 370Selects gdb-remote mode for the kernel debugger by default. 371.It Va boot_multicons 372Enables multiple console support in the kernel early on boot. 373In a running system, console configuration can be manipulated 374by the 375.Xr conscontrol 8 376utility. 377.It Va boot_mute 378All kernel console output is suppressed when console is muted. 379In a running system, the state of console muting can be manipulated by the 380.Xr conscontrol 8 381utility. 382.It Va boot_pause 383During the device probe, pause after each line is printed. 384.It Va boot_serial 385Force the use of a serial console even when an internal console 386is present. 387.It Va boot_single 388Prevents the kernel from initiating a multi-user startup; instead, 389a single-user mode will be entered when the kernel has finished 390device probing. 391.It Va boot_verbose 392Setting this variable causes extra debugging information to be printed 393by the kernel during the boot phase. 394.It Va bootfile 395List of semicolon-separated search path for bootable kernels. 396The default is 397.Dq Li kernel . 398.It Va comconsole_speed 399Defines the speed of the serial console (i386 and amd64 only). 400If the previous boot stage indicated that a serial console is in use 401then this variable is initialized to the current speed of the console 402serial port. 403Otherwise it is set to 9600 unless this was overridden using the 404.Va BOOT_COMCONSOLE_SPEED 405variable when 406.Nm 407was compiled. 408Changes to the 409.Va comconsole_speed 410variable take effect immediately. 411.It Va comconsole_port 412Defines the base i/o port used to access console UART 413(i386 and amd64 only). 414If the variable is not set, its assumed value is 0x3F8, which 415corresponds to PC port COM1, unless overridden by 416.Va BOOT_COMCONSOLE_PORT 417variable during the compilation of 418.Nm . 419Setting the 420.Va comconsole_port 421variable automatically set 422.Va hw.uart.console 423environment variable to provide a hint to kernel for location of the console. 424Loader console is changed immediately after variable 425.Va comconsole_port 426is set. 427.It Va comconsole_pcidev 428Defines the location of a PCI device of the 'simple communication' 429class to be used as the serial console UART (i386 and amd64 only). 430The syntax of the variable is 431.Li 'bus:device:function[:bar]' , 432where all members must be numeric, with possible 433.Li 0x 434prefix to indicate a hexadecimal value. 435The 436.Va bar 437member is optional and assumed to be 0x10 if omitted. 438The bar must decode i/o space. 439Setting the variable 440.Va comconsole_pcidev 441automatically sets the variable 442.Va comconsole_port 443to the base of the selected bar, and hint 444.Va hw.uart.console . 445Loader console is changed immediately after variable 446.Va comconsole_pcidev 447is set. 448.It Va console 449Defines the current console or consoles. 450Multiple consoles may be specified. 451In that case, the first listed console will become the default console for 452userland output (e.g.\& from 453.Xr init 8 ) . 454.It Va currdev 455Selects the default device to loader the kernel from. 456The syntax is: 457.Dl Ic loader_device: 458or 459.Dl Ic zfs:dataset: 460Examples: 461.Dl Ic disk0p2: 462.Dl Ic zfs:zroot/ROOT/default: 463.It Va dumpdev 464Sets the device for kernel dumps. 465This can be used to ensure that a device is configured before the corresponding 466.Va dumpdev 467directive from 468.Xr rc.conf 5 469has been processed, allowing kernel panics that happen during the early stages 470of boot to be captured. 471.It Va init_chroot 472See 473.Xr init 8 . 474.It Va init_exec 475See 476.Xr init 8 . 477.It Va init_path 478Sets the list of binaries which the kernel will try to run as the initial 479process. 480The first matching binary is used. 481The default list is 482.Dq Li /sbin/init:/sbin/oinit:/sbin/init.bak:\:/rescue/init . 483.It Va init_script 484See 485.Xr init 8 . 486.It Va init_shell 487See 488.Xr init 8 . 489.It Va interpret 490Has the value 491.Dq Li OK 492if the Forth's current state is interpreting. 493.It Va LINES 494Define the number of lines on the screen, to be used by the pager. 495.It Va module_path 496Sets the list of directories which will be searched for modules 497named in a load command or implicitly required by a dependency. 498The default value for this variable is 499.Dq Li /boot/kernel;/boot/modules . 500.It Va num_ide_disks 501Sets the number of IDE disks as a workaround for some problems in 502finding the root disk at boot. 503This has been deprecated in favor of 504.Va root_disk_unit . 505.It Va prompt 506Value of 507.Nm Ns 's 508prompt. 509Defaults to 510.Dq Li "${interpret}" . 511If variable 512.Va prompt 513is unset, the default prompt is 514.Ql > . 515.It Va root_disk_unit 516If the code which detects the disk unit number for the root disk is 517confused, e.g.\& by a mix of SCSI and IDE disks, or IDE disks with 518gaps in the sequence (e.g.\& no primary slave), the unit number can 519be forced by setting this variable. 520.It Va rootdev 521By default the value of 522.Va currdev 523is used to set the root file system 524when the kernel is booted. 525This can be overridden by setting 526.Va rootdev 527explicitly. 528.El 529.Pp 530Other variables are used to override kernel tunable parameters. 531The following tunables are available: 532.Bl -tag -width Va 533.It Va efi.rt.disabled 534Disable UEFI runtime services in the kernel, if applicable. 535Runtime services are only available and used if the kernel is booted in a UEFI 536environment. 537.It Va hw.physmem 538Limit the amount of physical memory the system will use. 539By default the size is in bytes, but the 540.Cm k , K , m , M , g 541and 542.Cm G 543suffixes 544are also accepted and indicate kilobytes, megabytes and gigabytes 545respectively. 546An invalid suffix will result in the variable being ignored by the 547kernel. 548.It Va hw.pci.host_start_mem , hw.acpi.host_start_mem 549When not otherwise constrained, this limits the memory start 550address. 551The default is 0x80000000 and should be set to at least size of the 552memory and not conflict with other resources. 553Typically, only systems without PCI bridges need to set this variable 554since PCI bridges typically constrain the memory starting address 555(and the variable is only used when bridges do not constrain this 556address). 557.It Va hw.pci.enable_io_modes 558Enable PCI resources which are left off by some BIOSes or are not 559enabled correctly by the device driver. 560Tunable value set to ON (1) by default, but this may cause problems 561with some peripherals. 562.It Va kern.maxusers 563Set the size of a number of statically allocated system tables; see 564.Xr tuning 7 565for a description of how to select an appropriate value for this 566tunable. 567When set, this tunable replaces the value declared in the kernel 568compile-time configuration file. 569.It Va kern.ipc.nmbclusters 570Set the number of mbuf clusters to be allocated. 571The value cannot be set below the default 572determined when the kernel was compiled. 573.It Va kern.ipc.nsfbufs 574Set the number of 575.Xr sendfile 2 576buffers to be allocated. 577Overrides 578.Dv NSFBUFS . 579Not all architectures use such buffers; see 580.Xr sendfile 2 581for details. 582.It Va kern.maxswzone 583Limits the amount of KVM to be used to hold swap 584metadata, which directly governs the 585maximum amount of swap the system can support, 586at the rate of approximately 200 MB of swap space 587per 1 MB of metadata. 588This value is specified in bytes of KVA space. 589If no value is provided, the system allocates 590enough memory to handle an amount of swap 591that corresponds to eight times the amount of 592physical memory present in the system. 593.Pp 594Note that swap metadata can be fragmented, 595which means that the system can run out of 596space before it reaches the theoretical limit. 597Therefore, care should be taken to not configure 598more swap than approximately half of the 599theoretical maximum. 600.Pp 601Running out of space for swap metadata can leave 602the system in an unrecoverable state. 603Therefore, you should only change 604this parameter if you need to greatly extend the 605KVM reservation for other resources such as the 606buffer cache or 607.Va kern.ipc.nmbclusters . 608Modifies kernel option 609.Dv VM_SWZONE_SIZE_MAX . 610.It Va kern.maxbcache 611Limits the amount of KVM reserved for use by the 612buffer cache, specified in bytes. 613The default maximum is 200MB on i386, 614and 400MB on amd64. 615This parameter is used to 616prevent the buffer cache from eating too much 617KVM in large-memory machine configurations. 618Only mess around with this parameter if you need to 619greatly extend the KVM reservation for other resources 620such as the swap zone or 621.Va kern.ipc.nmbclusters . 622Note that 623the NBUF parameter will override this limit. 624Modifies 625.Dv VM_BCACHE_SIZE_MAX . 626.It Va kern.msgbufsize 627Sets the size of the kernel message buffer. 628The default limit of 96KB is usually sufficient unless 629large amounts of trace data need to be collected 630between opportunities to examine the buffer or 631dump it to a file. 632Overrides kernel option 633.Dv MSGBUF_SIZE . 634.It Va machdep.disable_mtrrs 635Disable the use of i686 MTRRs (x86 only). 636.It Va net.inet.tcp.tcbhashsize 637Overrides the compile-time set value of 638.Dv TCBHASHSIZE 639or the preset default of 512. 640Must be a power of 2. 641.It Va twiddle_divisor 642Throttles the output of the 643.Sq twiddle 644I/O progress indicator displayed while loading the kernel and modules. 645This is useful on slow serial consoles where the time spent waiting for 646these characters to be written can add up to many seconds. 647The default is 16; a value of 32 spins half as fast, 648while a value of 8 spins twice as fast. 649.It Va vm.kmem_size 650Sets the size of kernel memory (bytes). 651This overrides the value determined when the kernel was compiled. 652Modifies 653.Dv VM_KMEM_SIZE . 654.It Va vm.kmem_size_min 655.It Va vm.kmem_size_max 656Sets the minimum and maximum (respectively) amount of kernel memory 657that will be automatically allocated by the kernel. 658These override the values determined when the kernel was compiled. 659Modifies 660.Dv VM_KMEM_SIZE_MIN 661and 662.Dv VM_KMEM_SIZE_MAX . 663.El 664.Ss ZFS FEATURES 665.Nm 666supports the following format for specifying ZFS filesystems which 667can be used wherever 668.Xr loader 8 669refers to a device specification: 670.Pp 671.Ar zfs:pool/filesystem: 672.Pp 673where 674.Pa pool/filesystem 675is a ZFS filesystem name as described in 676.Xr zfs 8 . 677.Pp 678If 679.Pa /etc/fstab 680does not have an entry for the root filesystem and 681.Va vfs.root.mountfrom 682is not set, but 683.Va currdev 684refers to a ZFS filesystem, then 685.Nm 686will instruct kernel to use that filesystem as the root filesystem. 687.Ss BUILTIN PARSER 688When a builtin command is executed, the rest of the line is taken 689by it as arguments, and it is processed by a special parser which 690is not used for regular Forth commands. 691.Pp 692This special parser applies the following rules to the parsed text: 693.Bl -enum 694.It 695All backslash characters are preprocessed. 696.Bl -bullet 697.It 698\eb , \ef , \er , \en and \et are processed as in C. 699.It 700\es is converted to a space. 701.It 702\ev is converted to 703.Tn ASCII 70411. 705.It 706\ez is just skipped. 707Useful for things like 708.Dq \e0xf\ez\e0xf . 709.It 710\e0xN and \e0xNN are replaced by the hex N or NN. 711.It 712\eNNN is replaced by the octal NNN 713.Tn ASCII 714character. 715.It 716\e" , \e' and \e$ will escape these characters, preventing them from 717receiving special treatment in Step 2, described below. 718.It 719\e\e will be replaced with a single \e . 720.It 721In any other occurrence, backslash will just be removed. 722.El 723.It 724Every string between non-escaped quotes or double-quotes will be treated 725as a single word for the purposes of the remaining steps. 726.It 727Replace any 728.Li $VARIABLE 729or 730.Li ${VARIABLE} 731with the value of the environment variable 732.Va VARIABLE . 733.It 734Space-delimited arguments are passed to the called builtin command. 735Spaces can also be escaped through the use of \e\e . 736.El 737.Pp 738An exception to this parsing rule exists, and is described in 739.Sx BUILTINS AND FORTH . 740.Ss BUILTINS AND FORTH 741All builtin words are state-smart, immediate words. 742If interpreted, they behave exactly as described previously. 743If they are compiled, though, 744they extract their arguments from the stack instead of the command line. 745.Pp 746If compiled, the builtin words expect to find, at execution time, the 747following parameters on the stack: 748.D1 Ar addrN lenN ... addr2 len2 addr1 len1 N 749where 750.Ar addrX lenX 751are strings which will compose the command line that will be parsed 752into the builtin's arguments. 753Internally, these strings are concatenated in from 1 to N, 754with a space put between each one. 755.Pp 756If no arguments are passed, a 0 757.Em must 758be passed, even if the builtin accepts no arguments. 759.Pp 760While this behavior has benefits, it has its trade-offs. 761If the execution token of a builtin is acquired (through 762.Ic ' 763or 764.Ic ['] ) , 765and then passed to 766.Ic catch 767or 768.Ic execute , 769the builtin behavior will depend on the system state 770.Bf Em 771at the time 772.Ic catch 773or 774.Ic execute 775is processed! 776.Ef 777This is particularly annoying for programs that want or need to 778handle exceptions. 779In this case, the use of a proxy is recommended. 780For example: 781.Dl : (boot) boot ; 782.Sh FICL 783.Tn FICL 784is a Forth interpreter written in C, in the form of a forth 785virtual machine library that can be called by C functions and vice 786versa. 787.Pp 788In 789.Nm , 790each line read interactively is then fed to 791.Tn FICL , 792which may call 793.Nm 794back to execute the builtin words. 795The builtin 796.Ic include 797will also feed 798.Tn FICL , 799one line at a time. 800.Pp 801The words available to 802.Tn FICL 803can be classified into four groups. 804The 805.Tn ANS 806Forth standard words, extra 807.Tn FICL 808words, extra 809.Fx 810words, and the builtin commands; 811the latter were already described. 812The 813.Tn ANS 814Forth standard words are listed in the 815.Sx STANDARDS 816section. 817The words falling in the two other groups are described in the 818following subsections. 819.Ss FICL EXTRA WORDS 820.Bl -tag -width wid-set-super 821.It Ic .env 822.It Ic .ver 823.It Ic -roll 824.It Ic 2constant 825.It Ic >name 826.It Ic body> 827.It Ic compare 828This is the STRING word set's 829.Ic compare . 830.It Ic compile-only 831.It Ic endif 832.It Ic forget-wid 833.It Ic parse-word 834.It Ic sliteral 835This is the STRING word set's 836.Ic sliteral . 837.It Ic wid-set-super 838.It Ic w@ 839.It Ic w! 840.It Ic x. 841.It Ic empty 842.It Ic cell- 843.It Ic -rot 844.El 845.Ss FREEBSD EXTRA WORDS 846.Bl -tag -width XXXXXXXX 847.It Ic \&$ Pq -- 848Evaluates the remainder of the input buffer, after having printed it first. 849.It Ic \&% Pq -- 850Evaluates the remainder of the input buffer under a 851.Ic catch 852exception guard. 853.It Ic .# 854Works like 855.Ic "." 856but without outputting a trailing space. 857.It Ic fclose Pq Ar fd -- 858Closes a file. 859.It Ic fkey Pq Ar fd -- char 860Reads a single character from a file. 861.It Ic fload Pq Ar fd -- 862Processes a file 863.Em fd . 864.It Ic fopen Pq Ar addr len mode Li -- Ar fd 865Opens a file. 866Returns a file descriptor, or \-1 in case of failure. 867The 868.Ar mode 869parameter selects whether the file is to be opened for read access, write 870access, or both. 871The constants 872.Dv O_RDONLY , O_WRONLY , 873and 874.Dv O_RDWR 875are defined in 876.Pa /boot/support.4th , 877indicating read only, write only, and read-write access, respectively. 878.It Xo 879.Ic fread 880.Pq Ar fd addr len -- len' 881.Xc 882Tries to read 883.Em len 884bytes from file 885.Em fd 886into buffer 887.Em addr . 888Returns the actual number of bytes read, or -1 in case of error or end of 889file. 890.It Ic heap? Pq -- Ar cells 891Return the space remaining in the dictionary heap, in cells. 892This is not related to the heap used by dynamic memory allocation words. 893.It Ic inb Pq Ar port -- char 894Reads a byte from a port. 895.It Ic key Pq -- Ar char 896Reads a single character from the console. 897.It Ic key? Pq -- Ar flag 898Returns 899.Ic true 900if there is a character available to be read from the console. 901.It Ic ms Pq Ar u -- 902Waits 903.Em u 904microseconds. 905.It Ic outb Pq Ar port char -- 906Writes a byte to a port. 907.It Ic seconds Pq -- Ar u 908Returns the number of seconds since midnight. 909.It Ic tib> Pq -- Ar addr len 910Returns the remainder of the input buffer as a string on the stack. 911.It Ic trace! Pq Ar flag -- 912Activates or deactivates tracing. 913Does not work with 914.Ic catch . 915.El 916.Ss FREEBSD DEFINED ENVIRONMENTAL QUERIES 917.Bl -tag -width Ds 918.It arch-i386 919.Ic TRUE 920if the architecture is IA32. 921.It FreeBSD_version 922.Fx 923version at compile time. 924.It loader_version 925.Nm 926version. 927.El 928.Sh SECURITY 929Access to the 930.Nm 931command line provides several ways of compromising system security, 932including, but not limited to: 933.Pp 934.Bl -bullet 935.It 936Booting from removable storage, by setting the 937.Va currdev 938or 939.Va loaddev 940variables 941.It 942Executing binary of choice, by setting the 943.Va init_path 944or 945.Va init_script 946variables 947.It 948Overriding ACPI DSDT to inject arbitrary code into the ACPI subsystem 949.El 950.Pp 951One can prevent unauthorized access 952to the 953.Nm 954command line by setting the 955.Va password , 956or setting 957.Va autoboot_delay 958to -1. 959See 960.Xr loader.conf 5 961for details. 962In order for this to be effective, one should also configure the firmware 963(BIOS or UEFI) to prevent booting from unauthorized devices. 964.Sh FILES 965.Bl -tag -width /usr/share/examples/bootforth/ -compact 966.It Pa /boot/loader 967.Nm 968itself. 969.It Pa /boot/boot.4th 970Additional 971.Tn FICL 972initialization. 973.It Pa /boot/defaults/loader.conf 974.It Pa /boot/loader.4th 975Extra builtin-like words. 976.It Pa /boot/loader.conf 977.It Pa /boot/loader.conf.local 978.Nm 979configuration files, as described in 980.Xr loader.conf 5 . 981.It Pa /boot/loader.rc 982.Nm 983bootstrapping script. 984.It Pa /boot/loader.help 985Loaded by 986.Ic help . 987Contains the help messages. 988.It Pa /boot/support.4th 989.Pa loader.conf 990processing words. 991.It Pa /usr/share/examples/bootforth/ 992Assorted examples. 993.El 994.Sh EXAMPLES 995Boot in single user mode: 996.Pp 997.Dl boot -s 998.Pp 999Load the kernel, a splash screen, and then autoboot in five seconds. 1000Notice that a kernel must be loaded before any other 1001.Ic load 1002command is attempted. 1003.Bd -literal -offset indent 1004load kernel 1005load splash_bmp 1006load -t splash_image_data /boot/chuckrulez.bmp 1007autoboot 5 1008.Ed 1009.Pp 1010Set the disk unit of the root device to 2, and then boot. 1011This would be needed in a system with two IDE disks, 1012with the second IDE disk hardwired to ada2 instead of ada1. 1013.Bd -literal -offset indent 1014set root_disk_unit=2 1015boot /boot/kernel/kernel 1016.Ed 1017.Pp 1018Set the default device used for loading a kernel from a ZFS filesystem: 1019.Bd -literal -offset indent 1020set currdev=zfs:tank/ROOT/knowngood: 1021.Ed 1022.Pp 1023.Sh ERRORS 1024The following values are thrown by 1025.Nm : 1026.Bl -tag -width XXXXX -offset indent 1027.It 100 1028Any type of error in the processing of a builtin. 1029.It -1 1030.Ic Abort 1031executed. 1032.It -2 1033.Ic Abort" 1034executed. 1035.It -56 1036.Ic Quit 1037executed. 1038.It -256 1039Out of interpreting text. 1040.It -257 1041Need more text to succeed -- will finish on next run. 1042.It -258 1043.Ic Bye 1044executed. 1045.It -259 1046Unspecified error. 1047.El 1048.Sh SEE ALSO 1049.Xr libstand 3 , 1050.Xr loader.conf 5 , 1051.Xr tuning 7 , 1052.Xr boot 8 , 1053.Xr btxld 8 1054.Sh STANDARDS 1055For the purposes of ANS Forth compliance, loader is an 1056.Bf Em 1057ANS Forth System with Environmental Restrictions, Providing 1058.Ef 1059.Bf Li 1060.No .( , 1061.No :noname , 1062.No ?do , 1063parse, pick, roll, refill, to, value, \e, false, true, 1064.No <> , 1065.No 0<> , 1066compile\&, , erase, nip, tuck 1067.Ef 1068.Em and 1069.Li marker 1070.Bf Em 1071from the Core Extensions word set, Providing the Exception Extensions 1072word set, Providing the Locals Extensions word set, Providing the 1073Memory-Allocation Extensions word set, Providing 1074.Ef 1075.Bf Li 1076\&.s, 1077bye, forget, see, words, 1078\&[if], 1079\&[else] 1080.Ef 1081.Em and 1082.Li [then] 1083.Bf Em 1084from the Programming-Tools extension word set, Providing the 1085Search-Order extensions word set. 1086.Ef 1087.Sh HISTORY 1088The 1089.Nm 1090first appeared in 1091.Fx 3.1 . 1092.Sh AUTHORS 1093.An -nosplit 1094The 1095.Nm 1096was written by 1097.An Michael Smith Aq [email protected] . 1098.Pp 1099.Tn FICL 1100was written by 1101.An John Sadler Aq [email protected] . 1102.Sh BUGS 1103The 1104.Ic expect 1105and 1106.Ic accept 1107words will read from the input buffer instead of the console. 1108The latter will be fixed, but the former will not. 1109