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 April 7, 2021 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/loader.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 1 (full speed); a value of 2 spins half as fast, and so on. 648.It Va vm.kmem_size 649Sets the size of kernel memory (bytes). 650This overrides the value determined when the kernel was compiled. 651Modifies 652.Dv VM_KMEM_SIZE . 653.It Va vm.kmem_size_min 654.It Va vm.kmem_size_max 655Sets the minimum and maximum (respectively) amount of kernel memory 656that will be automatically allocated by the kernel. 657These override the values determined when the kernel was compiled. 658Modifies 659.Dv VM_KMEM_SIZE_MIN 660and 661.Dv VM_KMEM_SIZE_MAX . 662.El 663.Ss ZFS FEATURES 664.Nm 665supports the following format for specifying ZFS filesystems which 666can be used wherever 667.Xr loader 8 668refers to a device specification: 669.Pp 670.Ar zfs:pool/filesystem: 671.Pp 672where 673.Pa pool/filesystem 674is a ZFS filesystem name as described in 675.Xr zfs 8 . 676.Pp 677If 678.Pa /etc/fstab 679does not have an entry for the root filesystem and 680.Va vfs.root.mountfrom 681is not set, but 682.Va currdev 683refers to a ZFS filesystem, then 684.Nm 685will instruct kernel to use that filesystem as the root filesystem. 686.Ss BUILTIN PARSER 687When a builtin command is executed, the rest of the line is taken 688by it as arguments, and it is processed by a special parser which 689is not used for regular Forth commands. 690.Pp 691This special parser applies the following rules to the parsed text: 692.Bl -enum 693.It 694All backslash characters are preprocessed. 695.Bl -bullet 696.It 697\eb , \ef , \er , \en and \et are processed as in C. 698.It 699\es is converted to a space. 700.It 701\ev is converted to 702.Tn ASCII 70311. 704.It 705\ez is just skipped. 706Useful for things like 707.Dq \e0xf\ez\e0xf . 708.It 709\e0xN and \e0xNN are replaced by the hex N or NN. 710.It 711\eNNN is replaced by the octal NNN 712.Tn ASCII 713character. 714.It 715\e" , \e' and \e$ will escape these characters, preventing them from 716receiving special treatment in Step 2, described below. 717.It 718\e\e will be replaced with a single \e . 719.It 720In any other occurrence, backslash will just be removed. 721.El 722.It 723Every string between non-escaped quotes or double-quotes will be treated 724as a single word for the purposes of the remaining steps. 725.It 726Replace any 727.Li $VARIABLE 728or 729.Li ${VARIABLE} 730with the value of the environment variable 731.Va VARIABLE . 732.It 733Space-delimited arguments are passed to the called builtin command. 734Spaces can also be escaped through the use of \e\e . 735.El 736.Pp 737An exception to this parsing rule exists, and is described in 738.Sx BUILTINS AND FORTH . 739.Ss BUILTINS AND FORTH 740All builtin words are state-smart, immediate words. 741If interpreted, they behave exactly as described previously. 742If they are compiled, though, 743they extract their arguments from the stack instead of the command line. 744.Pp 745If compiled, the builtin words expect to find, at execution time, the 746following parameters on the stack: 747.D1 Ar addrN lenN ... addr2 len2 addr1 len1 N 748where 749.Ar addrX lenX 750are strings which will compose the command line that will be parsed 751into the builtin's arguments. 752Internally, these strings are concatenated in from 1 to N, 753with a space put between each one. 754.Pp 755If no arguments are passed, a 0 756.Em must 757be passed, even if the builtin accepts no arguments. 758.Pp 759While this behavior has benefits, it has its trade-offs. 760If the execution token of a builtin is acquired (through 761.Ic ' 762or 763.Ic ['] ) , 764and then passed to 765.Ic catch 766or 767.Ic execute , 768the builtin behavior will depend on the system state 769.Bf Em 770at the time 771.Ic catch 772or 773.Ic execute 774is processed! 775.Ef 776This is particularly annoying for programs that want or need to 777handle exceptions. 778In this case, the use of a proxy is recommended. 779For example: 780.Dl : (boot) boot ; 781.Sh FICL 782.Tn FICL 783is a Forth interpreter written in C, in the form of a forth 784virtual machine library that can be called by C functions and vice 785versa. 786.Pp 787In 788.Nm , 789each line read interactively is then fed to 790.Tn FICL , 791which may call 792.Nm 793back to execute the builtin words. 794The builtin 795.Ic include 796will also feed 797.Tn FICL , 798one line at a time. 799.Pp 800The words available to 801.Tn FICL 802can be classified into four groups. 803The 804.Tn ANS 805Forth standard words, extra 806.Tn FICL 807words, extra 808.Fx 809words, and the builtin commands; 810the latter were already described. 811The 812.Tn ANS 813Forth standard words are listed in the 814.Sx STANDARDS 815section. 816The words falling in the two other groups are described in the 817following subsections. 818.Ss FICL EXTRA WORDS 819.Bl -tag -width wid-set-super 820.It Ic .env 821.It Ic .ver 822.It Ic -roll 823.It Ic 2constant 824.It Ic >name 825.It Ic body> 826.It Ic compare 827This is the STRING word set's 828.Ic compare . 829.It Ic compile-only 830.It Ic endif 831.It Ic forget-wid 832.It Ic parse-word 833.It Ic sliteral 834This is the STRING word set's 835.Ic sliteral . 836.It Ic wid-set-super 837.It Ic w@ 838.It Ic w! 839.It Ic x. 840.It Ic empty 841.It Ic cell- 842.It Ic -rot 843.El 844.Ss FREEBSD EXTRA WORDS 845.Bl -tag -width XXXXXXXX 846.It Ic \&$ Pq -- 847Evaluates the remainder of the input buffer, after having printed it first. 848.It Ic \&% Pq -- 849Evaluates the remainder of the input buffer under a 850.Ic catch 851exception guard. 852.It Ic .# 853Works like 854.Ic "." 855but without outputting a trailing space. 856.It Ic fclose Pq Ar fd -- 857Closes a file. 858.It Ic fkey Pq Ar fd -- char 859Reads a single character from a file. 860.It Ic fload Pq Ar fd -- 861Processes a file 862.Em fd . 863.It Ic fopen Pq Ar addr len mode Li -- Ar fd 864Opens a file. 865Returns a file descriptor, or \-1 in case of failure. 866The 867.Ar mode 868parameter selects whether the file is to be opened for read access, write 869access, or both. 870The constants 871.Dv O_RDONLY , O_WRONLY , 872and 873.Dv O_RDWR 874are defined in 875.Pa /boot/support.4th , 876indicating read only, write only, and read-write access, respectively. 877.It Xo 878.Ic fread 879.Pq Ar fd addr len -- len' 880.Xc 881Tries to read 882.Em len 883bytes from file 884.Em fd 885into buffer 886.Em addr . 887Returns the actual number of bytes read, or -1 in case of error or end of 888file. 889.It Ic heap? Pq -- Ar cells 890Return the space remaining in the dictionary heap, in cells. 891This is not related to the heap used by dynamic memory allocation words. 892.It Ic inb Pq Ar port -- char 893Reads a byte from a port. 894.It Ic key Pq -- Ar char 895Reads a single character from the console. 896.It Ic key? Pq -- Ar flag 897Returns 898.Ic true 899if there is a character available to be read from the console. 900.It Ic ms Pq Ar u -- 901Waits 902.Em u 903microseconds. 904.It Ic outb Pq Ar port char -- 905Writes a byte to a port. 906.It Ic seconds Pq -- Ar u 907Returns the number of seconds since midnight. 908.It Ic tib> Pq -- Ar addr len 909Returns the remainder of the input buffer as a string on the stack. 910.It Ic trace! Pq Ar flag -- 911Activates or deactivates tracing. 912Does not work with 913.Ic catch . 914.El 915.Ss FREEBSD DEFINED ENVIRONMENTAL QUERIES 916.Bl -tag -width Ds 917.It arch-i386 918.Ic TRUE 919if the architecture is IA32. 920.It FreeBSD_version 921.Fx 922version at compile time. 923.It loader_version 924.Nm 925version. 926.El 927.Sh SECURITY 928Access to the 929.Nm 930command line provides several ways of compromising system security, 931including, but not limited to: 932.Pp 933.Bl -bullet 934.It 935Booting from removable storage, by setting the 936.Va currdev 937or 938.Va loaddev 939variables 940.It 941Executing binary of choice, by setting the 942.Va init_path 943or 944.Va init_script 945variables 946.It 947Overriding ACPI DSDT to inject arbitrary code into the ACPI subsystem 948.El 949.Pp 950One can prevent unauthorized access 951to the 952.Nm 953command line by setting the 954.Va password , 955or setting 956.Va autoboot_delay 957to -1. 958See 959.Xr loader.conf 5 960for details. 961In order for this to be effective, one should also configure the firmware 962(BIOS or UEFI) to prevent booting from unauthorized devices. 963.Sh MD 964Memory disk (MD) can be used when the 965.Nm 966was compiled with 967.Va MD_IMAGE_SIZE . 968The size of the memory disk is determined by 969.Va MD_IMAGE_SIZE . 970If MD available, a file system can be embedded into the 971.Nm 972with 973.Pa /sys/tools/embed_mfs.sh . 974Then, MD will be probed and be set to 975.Va currdev 976during initialization. 977.Pp 978Currently, MD is only supported in 979.Xr loader.efi 8 . 980.Sh FILES 981.Bl -tag -width /usr/share/examples/bootforth/ -compact 982.It Pa /boot/loader 983.Nm 984itself. 985.It Pa /boot/loader.4th 986Additional 987.Tn FICL 988initialization. 989.It Pa /boot/defaults/loader.conf 990.It Pa /boot/loader.4th 991Extra builtin-like words. 992.It Pa /boot/loader.conf 993.It Pa /boot/loader.conf.local 994.Nm 995configuration files, as described in 996.Xr loader.conf 5 . 997.It Pa /boot/loader.rc 998.Nm 999bootstrapping script. 1000.It Pa /boot/loader.help 1001Loaded by 1002.Ic help . 1003Contains the help messages. 1004.It Pa /boot/support.4th 1005.Pa loader.conf 1006processing words. 1007.It Pa /usr/share/examples/bootforth/ 1008Assorted examples. 1009.El 1010.Sh EXAMPLES 1011Boot in single user mode: 1012.Pp 1013.Dl boot -s 1014.Pp 1015Load the kernel, a splash screen, and then autoboot in five seconds. 1016Notice that a kernel must be loaded before any other 1017.Ic load 1018command is attempted. 1019.Bd -literal -offset indent 1020load kernel 1021load splash_bmp 1022load -t splash_image_data /boot/chuckrulez.bmp 1023autoboot 5 1024.Ed 1025.Pp 1026Set the disk unit of the root device to 2, and then boot. 1027This would be needed in a system with two IDE disks, 1028with the second IDE disk hardwired to ada2 instead of ada1. 1029.Bd -literal -offset indent 1030set root_disk_unit=2 1031boot /boot/kernel/kernel 1032.Ed 1033.Pp 1034Set the default device used for loading a kernel from a ZFS filesystem: 1035.Bd -literal -offset indent 1036set currdev=zfs:tank/ROOT/knowngood: 1037.Ed 1038.Pp 1039.Sh ERRORS 1040The following values are thrown by 1041.Nm : 1042.Bl -tag -width XXXXX -offset indent 1043.It 100 1044Any type of error in the processing of a builtin. 1045.It -1 1046.Ic Abort 1047executed. 1048.It -2 1049.Ic Abort" 1050executed. 1051.It -56 1052.Ic Quit 1053executed. 1054.It -256 1055Out of interpreting text. 1056.It -257 1057Need more text to succeed -- will finish on next run. 1058.It -258 1059.Ic Bye 1060executed. 1061.It -259 1062Unspecified error. 1063.El 1064.Sh SEE ALSO 1065.Xr libstand 3 , 1066.Xr loader.conf 5 , 1067.Xr tuning 7 , 1068.Xr boot 8 , 1069.Xr btxld 8 1070.Sh STANDARDS 1071For the purposes of ANS Forth compliance, loader is an 1072.Bf Em 1073ANS Forth System with Environmental Restrictions, Providing 1074.Ef 1075.Bf Li 1076.No .( , 1077.No :noname , 1078.No ?do , 1079parse, pick, roll, refill, to, value, \e, false, true, 1080.No <> , 1081.No 0<> , 1082compile\&, , erase, nip, tuck 1083.Ef 1084.Em and 1085.Li marker 1086.Bf Em 1087from the Core Extensions word set, Providing the Exception Extensions 1088word set, Providing the Locals Extensions word set, Providing the 1089Memory-Allocation Extensions word set, Providing 1090.Ef 1091.Bf Li 1092\&.s, 1093bye, forget, see, words, 1094\&[if], 1095\&[else] 1096.Ef 1097.Em and 1098.Li [then] 1099.Bf Em 1100from the Programming-Tools extension word set, Providing the 1101Search-Order extensions word set. 1102.Ef 1103.Sh HISTORY 1104The 1105.Nm 1106first appeared in 1107.Fx 3.1 . 1108.Sh AUTHORS 1109.An -nosplit 1110The 1111.Nm 1112was written by 1113.An Michael Smith Aq msmith@FreeBSD.org . 1114.Pp 1115.Tn FICL 1116was written by 1117.An John Sadler Aq john_sadler@alum.mit.edu . 1118.Sh BUGS 1119The 1120.Ic expect 1121and 1122.Ic accept 1123words will read from the input buffer instead of the console. 1124The latter will be fixed, but the former will not. 1125