2015-03-31 22:32:35 +00:00
|
|
|
\ Copyright (c) 2003 Scott Long <scottl@FreeBSD.org>
|
2003-09-13 18:35:01 +00:00
|
|
|
\ Copyright (c) 2003 Aleksander Fafula <alex@fafula.com>
|
2015-03-31 22:10:40 +00:00
|
|
|
\ Copyright (c) 2006-2015 Devin Teske <dteske@FreeBSD.org>
|
2003-05-30 09:29:24 +00:00
|
|
|
\ All rights reserved.
|
2011-05-28 08:50:38 +00:00
|
|
|
\
|
2003-05-30 09:29:24 +00:00
|
|
|
\ Redistribution and use in source and binary forms, with or without
|
|
|
|
\ modification, are permitted provided that the following conditions
|
|
|
|
\ are met:
|
|
|
|
\ 1. Redistributions of source code must retain the above copyright
|
|
|
|
\ notice, this list of conditions and the following disclaimer.
|
|
|
|
\ 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
\ notice, this list of conditions and the following disclaimer in the
|
|
|
|
\ documentation and/or other materials provided with the distribution.
|
2011-05-28 08:50:38 +00:00
|
|
|
\
|
2003-05-30 09:29:24 +00:00
|
|
|
\ THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
\ ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
\ IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
\ ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
|
|
\ FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
\ DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
\ OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
\ HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
\ LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
\ OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
\ SUCH DAMAGE.
|
2011-05-28 08:50:38 +00:00
|
|
|
\
|
2003-05-30 09:29:24 +00:00
|
|
|
\ $FreeBSD$
|
|
|
|
|
|
|
|
marker task-beastie.4th
|
|
|
|
|
2015-04-01 01:54:28 +00:00
|
|
|
only forth definitions
|
2013-11-04 20:28:10 +00:00
|
|
|
|
2011-05-28 08:50:38 +00:00
|
|
|
variable logoX
|
|
|
|
variable logoY
|
2003-05-30 09:29:24 +00:00
|
|
|
|
2011-05-28 08:50:38 +00:00
|
|
|
\ Initialize logo placement to defaults
|
|
|
|
46 logoX !
|
|
|
|
4 logoY !
|
2003-05-30 09:29:24 +00:00
|
|
|
|
2011-05-28 08:50:38 +00:00
|
|
|
\ This function draws any number of beastie logos at (loader_logo_x,
|
|
|
|
\ loader_logo_y) if defined, else (46,4) (to the right of the menu). To choose
|
|
|
|
\ your beastie, set the variable `loader_logo' to the respective logo name.
|
|
|
|
\
|
2015-04-01 01:14:19 +00:00
|
|
|
\ NOTE: Each is defined as a logo function in /boot/logo-${loader_logo}.4th
|
|
|
|
\ NOTE: If `/boot/logo-${loader_logo}.4th' does not exist or does not define
|
|
|
|
\ a `logo' function, no beastie is drawn.
|
2011-05-28 08:50:38 +00:00
|
|
|
\
|
|
|
|
: draw-beastie ( -- ) \ at (loader_logo_x,loader_logo_y), else (46,4)
|
|
|
|
|
|
|
|
s" loader_logo_x" getenv dup -1 <> if
|
|
|
|
?number 1 = if logoX ! then
|
2015-03-31 22:10:40 +00:00
|
|
|
else drop then
|
2011-05-28 08:50:38 +00:00
|
|
|
s" loader_logo_y" getenv dup -1 <> if
|
|
|
|
?number 1 = if logoY ! then
|
2015-03-31 22:10:40 +00:00
|
|
|
else drop then
|
2011-05-28 08:50:38 +00:00
|
|
|
|
2015-04-01 01:14:19 +00:00
|
|
|
|
|
|
|
\ If `logo' is defined, execute it
|
|
|
|
s" logo" sfind ( -- xt|0 bool ) if
|
|
|
|
logoX @ logoY @ rot execute
|
2013-11-17 18:07:10 +00:00
|
|
|
else
|
2015-04-01 01:14:19 +00:00
|
|
|
\ Not defined; try-include desired logo file
|
|
|
|
drop ( xt = 0 ) \ cruft
|
|
|
|
s" loader_logo" getenv dup -1 = over 0= or if
|
|
|
|
dup 0= if 2drop else drop then \ getenv result unused
|
|
|
|
loader_color? if
|
|
|
|
s" try-include /boot/logo-orb.4th"
|
|
|
|
else
|
|
|
|
s" try-include /boot/logo-orbbw.4th"
|
|
|
|
then
|
2013-08-12 03:52:23 +00:00
|
|
|
else
|
2015-04-01 01:14:19 +00:00
|
|
|
2drop ( c-addr/u -- ) \ getenv result unused
|
|
|
|
s" try-include /boot/logo-${loader_logo}.4th"
|
2013-08-12 03:52:23 +00:00
|
|
|
then
|
2015-04-01 01:14:19 +00:00
|
|
|
evaluate
|
|
|
|
1 spaces
|
2003-05-30 09:29:24 +00:00
|
|
|
|
2015-04-01 01:14:19 +00:00
|
|
|
\ Execute `logo' if defined now
|
|
|
|
s" logo" sfind if
|
|
|
|
logoX @ logoY @ rot execute
|
|
|
|
else drop then
|
|
|
|
then
|
2011-05-28 08:50:38 +00:00
|
|
|
;
|
2003-05-30 09:29:24 +00:00
|
|
|
|
2015-04-01 01:54:28 +00:00
|
|
|
also support-functions
|
|
|
|
|
2011-05-28 08:50:38 +00:00
|
|
|
: beastie-start ( -- ) \ starts the menu
|
2015-03-31 22:10:40 +00:00
|
|
|
s" beastie_disable" getenv dup -1 <> if
|
2003-06-10 22:04:09 +00:00
|
|
|
s" YES" compare-insensitive 0= if
|
2013-11-04 20:28:10 +00:00
|
|
|
any_conf_read? if
|
loader: implement multiboot support for Xen Dom0
Implement a subset of the multiboot specification in order to boot Xen
and a FreeBSD Dom0 from the FreeBSD bootloader. This multiboot
implementation is tailored to boot Xen and FreeBSD Dom0, and it will
most surely fail to boot any other multiboot compilant kernel.
In order to detect and boot the Xen microkernel, two new file formats
are added to the bootloader, multiboot and multiboot_obj. Multiboot
support must be tested before regular ELF support, since Xen is a
multiboot kernel that also uses ELF. After a multiboot kernel is
detected, all the other loaded kernels/modules are parsed by the
multiboot_obj format.
The layout of the loaded objects in memory is the following; first the
Xen kernel is loaded as a 32bit ELF into memory (Xen will switch to
long mode by itself), after that the FreeBSD kernel is loaded as a RAW
file (Xen will parse and load it using it's internal ELF loader), and
finally the metadata and the modules are loaded using the native
FreeBSD way. After everything is loaded we jump into Xen's entry point
using a small trampoline. The order of the multiboot modules passed to
Xen is the following, the first module is the RAW FreeBSD kernel, and
the second module is the metadata and the FreeBSD modules.
Since Xen will relocate the memory position of the second
multiboot module (the one that contains the metadata and native
FreeBSD modules), we need to stash the original modulep address inside
of the metadata itself in order to recalculate its position once
booted. This also means the metadata must come before the loaded
modules, so after loading the FreeBSD kernel a portion of memory is
reserved in order to place the metadata before booting.
In order to tell the loader to boot Xen and then the FreeBSD kernel the
following has to be added to the /boot/loader.conf file:
xen_cmdline="dom0_mem=1024M dom0_max_vcpus=2 dom0pvh=1 console=com1,vga"
xen_kernel="/boot/xen"
The first argument contains the command line that will be passed to the Xen
kernel, while the second argument is the path to the Xen kernel itself. This
can also be done manually from the loader command line, by for example
typing the following set of commands:
OK unload
OK load /boot/xen dom0_mem=1024M dom0_max_vcpus=2 dom0pvh=1 console=com1,vga
OK load kernel
OK load zfs
OK load if_tap
OK load ...
OK boot
Sponsored by: Citrix Systems R&D
Reviewed by: jhb
Differential Revision: https://reviews.freebsd.org/D517
For the Forth bits:
Submitted by: Julien Grall <julien.grall AT citrix.com>
2015-01-15 16:27:20 +00:00
|
|
|
load_xen_throw
|
2013-11-04 20:28:10 +00:00
|
|
|
load_kernel
|
|
|
|
load_modules
|
|
|
|
then
|
|
|
|
exit \ to autoboot (default)
|
2003-06-10 22:04:09 +00:00
|
|
|
then
|
2015-03-31 22:10:40 +00:00
|
|
|
else drop then
|
2011-05-28 08:50:38 +00:00
|
|
|
|
2015-03-31 22:10:40 +00:00
|
|
|
s" loader_delay" getenv -1 = if
|
2011-05-28 08:50:38 +00:00
|
|
|
s" include /boot/menu.rc" evaluate
|
2003-05-30 09:29:24 +00:00
|
|
|
else
|
2011-05-28 08:50:38 +00:00
|
|
|
drop
|
|
|
|
." Loading Menu (Ctrl-C to Abort)" cr
|
|
|
|
s" set delay_command='include /boot/menu.rc'" evaluate
|
|
|
|
s" set delay_showdots" evaluate
|
|
|
|
delay_execute
|
2003-05-30 09:29:24 +00:00
|
|
|
then
|
|
|
|
;
|
2013-11-04 20:28:10 +00:00
|
|
|
|
2015-04-01 01:54:28 +00:00
|
|
|
only forth definitions
|