2 * Linux Boot Option ROM
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see <http://www.gnu.org/licenses/>.
17 * Copyright Novell Inc, 2009
18 * Authors: Alexander Graf <agraf@suse.de>
20 * Based on code in hw/pc.c.
23 #include "optionrom.h"
25 #define BOOT_ROM_PRODUCT "Linux loader"
37 read_fw FW_CFG_SETUP_ADDR
42 /* All segments contain real_addr */
49 /* CX = CS we want to jump to */
53 /* SP = cmdline_addr-real_addr-16 */
54 read_fw FW_CFG_CMDLINE_ADDR
56 read_fw FW_CFG_SETUP_ADDR
61 /* Build indirect lret descriptor */
64 pushw %ax /* IP = 0 */
79 /* Compute initrd address */
85 /* Output could be in AX/BX or CX/DX */
96 addw $1024, %cx /* add 1 MB */
98 shll $10, %edi /* convert to bytes */
102 addw $16777216 >> 16, %dx /* add 16 MB */
104 shll $16, %edi /* convert to bytes */
107 read_fw FW_CFG_INITRD_SIZE
109 andl $-4096, %edi /* EDI = start of initrd */
111 /* We need to load the kernel into memory we can't access in 16 bit
112 mode, so let's get into 32 bit mode, write the kernel and jump
115 /* Reserve space on the stack for our GDT descriptor. */
119 /* Now create the GDT descriptor */
120 movw $((3 * 8) - 1), -16(%bp)
127 /* And load the GDT */
131 /* Get us to protected mode now */
135 /* So we can set ES to a 32-bit segment */
139 /* We're now running in 16-bit CS, but 32-bit ES! */
141 /* Load kernel and initrd */
143 read_fw_blob_addr32_edi(FW_CFG_INITRD)
144 read_fw_blob_addr32(FW_CFG_KERNEL)
145 read_fw_blob_addr32(FW_CFG_CMDLINE)
147 read_fw FW_CFG_SETUP_ADDR
150 read_fw_blob_addr32_edi(FW_CFG_SETUP)
152 /* Update the header with the initrd address we chose above */
155 /* And now jump into Linux! */
170 .byte 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
172 /* 0x08: code segment (base=0, limit=0xfffff, type=32bit code exec/read, DPL=0, 4k) */
173 .byte 0xff, 0xff, 0x00, 0x00, 0x00, 0x9a, 0xcf, 0x00
175 /* 0x10: data segment (base=0, limit=0xfffff, type=32bit data read/write, DPL=0, 4k) */
176 .byte 0xff, 0xff, 0x00, 0x00, 0x00, 0x92, 0xcf, 0x00