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 */
80 /* We need to load the kernel into memory we can't access in 16 bit
81 mode, so let's get into 32 bit mode, write the kernel and jump
84 /* Reserve space on the stack for our GDT descriptor. */
88 /* Now create the GDT descriptor */
89 movw $((3 * 8) - 1), -16(%bp)
96 /* And load the GDT */
100 /* Get us to protected mode now */
104 /* So we can set ES to a 32-bit segment */
108 /* We're now running in 16-bit CS, but 32-bit ES! */
110 /* Load kernel and initrd */
111 read_fw_blob_addr32(FW_CFG_KERNEL)
112 read_fw_blob_addr32(FW_CFG_INITRD)
113 read_fw_blob_addr32(FW_CFG_CMDLINE)
114 read_fw_blob_addr32(FW_CFG_SETUP)
116 /* And now jump into Linux! */
131 .byte 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
133 /* 0x08: code segment (base=0, limit=0xfffff, type=32bit code exec/read, DPL=0, 4k) */
134 .byte 0xff, 0xff, 0x00, 0x00, 0x00, 0x9a, 0xcf, 0x00
136 /* 0x10: data segment (base=0, limit=0xfffff, type=32bit data read/write, DPL=0, 4k) */
137 .byte 0xff, 0xff, 0x00, 0x00, 0x00, 0x92, 0xcf, 0x00