monitor: implement x86 info tlb for PAE and long modes
[qemu/agraf.git] / hw / arm_boot.c
blob620550b5abb07c3dccd7e8d2f7bd626db7de8072
1 /*
2 * ARM kernel loader.
4 * Copyright (c) 2006-2007 CodeSourcery.
5 * Written by Paul Brook
7 * This code is licenced under the GPL.
8 */
10 #include "hw.h"
11 #include "arm-misc.h"
12 #include "sysemu.h"
13 #include "loader.h"
14 #include "elf.h"
16 #define KERNEL_ARGS_ADDR 0x100
17 #define KERNEL_LOAD_ADDR 0x00010000
18 #define INITRD_LOAD_ADDR 0x00800000
20 /* The worlds second smallest bootloader. Set r0-r2, then jump to kernel. */
21 static uint32_t bootloader[] = {
22 0xe3a00000, /* mov r0, #0 */
23 0xe3a01000, /* mov r1, #0x?? */
24 0xe3811c00, /* orr r1, r1, #0x??00 */
25 0xe59f2000, /* ldr r2, [pc, #0] */
26 0xe59ff000, /* ldr pc, [pc, #0] */
27 0, /* Address of kernel args. Set by integratorcp_init. */
28 0 /* Kernel entry point. Set by integratorcp_init. */
31 /* Entry point for secondary CPUs. Enable interrupt controller and
32 Issue WFI until start address is written to system controller. */
33 static uint32_t smpboot[] = {
34 0xe59f0020, /* ldr r0, privbase */
35 0xe3a01001, /* mov r1, #1 */
36 0xe5801100, /* str r1, [r0, #0x100] */
37 0xe3a00201, /* mov r0, #0x10000000 */
38 0xe3800030, /* orr r0, #0x30 */
39 0xe320f003, /* wfi */
40 0xe5901000, /* ldr r1, [r0] */
41 0xe1110001, /* tst r1, r1 */
42 0x0afffffb, /* beq <wfi> */
43 0xe12fff11, /* bx r1 */
44 0 /* privbase: Private memory region base address. */
47 #define WRITE_WORD(p, value) do { \
48 stl_phys_notdirty(p, value); \
49 p += 4; \
50 } while (0)
52 static void set_kernel_args(struct arm_boot_info *info,
53 int initrd_size, target_phys_addr_t base)
55 target_phys_addr_t p;
57 p = base + KERNEL_ARGS_ADDR;
58 /* ATAG_CORE */
59 WRITE_WORD(p, 5);
60 WRITE_WORD(p, 0x54410001);
61 WRITE_WORD(p, 1);
62 WRITE_WORD(p, 0x1000);
63 WRITE_WORD(p, 0);
64 /* ATAG_MEM */
65 /* TODO: handle multiple chips on one ATAG list */
66 WRITE_WORD(p, 4);
67 WRITE_WORD(p, 0x54410002);
68 WRITE_WORD(p, info->ram_size);
69 WRITE_WORD(p, info->loader_start);
70 if (initrd_size) {
71 /* ATAG_INITRD2 */
72 WRITE_WORD(p, 4);
73 WRITE_WORD(p, 0x54420005);
74 WRITE_WORD(p, info->loader_start + INITRD_LOAD_ADDR);
75 WRITE_WORD(p, initrd_size);
77 if (info->kernel_cmdline && *info->kernel_cmdline) {
78 /* ATAG_CMDLINE */
79 int cmdline_size;
81 cmdline_size = strlen(info->kernel_cmdline);
82 cpu_physical_memory_write(p + 8, (void *)info->kernel_cmdline,
83 cmdline_size + 1);
84 cmdline_size = (cmdline_size >> 2) + 1;
85 WRITE_WORD(p, cmdline_size + 2);
86 WRITE_WORD(p, 0x54410009);
87 p += cmdline_size * 4;
89 if (info->atag_board) {
90 /* ATAG_BOARD */
91 int atag_board_len;
92 uint8_t atag_board_buf[0x1000];
94 atag_board_len = (info->atag_board(info, atag_board_buf) + 3) & ~3;
95 WRITE_WORD(p, (atag_board_len + 8) >> 2);
96 WRITE_WORD(p, 0x414f4d50);
97 cpu_physical_memory_write(p, atag_board_buf, atag_board_len);
98 p += atag_board_len;
100 /* ATAG_END */
101 WRITE_WORD(p, 0);
102 WRITE_WORD(p, 0);
105 static void set_kernel_args_old(struct arm_boot_info *info,
106 int initrd_size, target_phys_addr_t base)
108 target_phys_addr_t p;
109 const char *s;
112 /* see linux/include/asm-arm/setup.h */
113 p = base + KERNEL_ARGS_ADDR;
114 /* page_size */
115 WRITE_WORD(p, 4096);
116 /* nr_pages */
117 WRITE_WORD(p, info->ram_size / 4096);
118 /* ramdisk_size */
119 WRITE_WORD(p, 0);
120 #define FLAG_READONLY 1
121 #define FLAG_RDLOAD 4
122 #define FLAG_RDPROMPT 8
123 /* flags */
124 WRITE_WORD(p, FLAG_READONLY | FLAG_RDLOAD | FLAG_RDPROMPT);
125 /* rootdev */
126 WRITE_WORD(p, (31 << 8) | 0); /* /dev/mtdblock0 */
127 /* video_num_cols */
128 WRITE_WORD(p, 0);
129 /* video_num_rows */
130 WRITE_WORD(p, 0);
131 /* video_x */
132 WRITE_WORD(p, 0);
133 /* video_y */
134 WRITE_WORD(p, 0);
135 /* memc_control_reg */
136 WRITE_WORD(p, 0);
137 /* unsigned char sounddefault */
138 /* unsigned char adfsdrives */
139 /* unsigned char bytes_per_char_h */
140 /* unsigned char bytes_per_char_v */
141 WRITE_WORD(p, 0);
142 /* pages_in_bank[4] */
143 WRITE_WORD(p, 0);
144 WRITE_WORD(p, 0);
145 WRITE_WORD(p, 0);
146 WRITE_WORD(p, 0);
147 /* pages_in_vram */
148 WRITE_WORD(p, 0);
149 /* initrd_start */
150 if (initrd_size)
151 WRITE_WORD(p, info->loader_start + INITRD_LOAD_ADDR);
152 else
153 WRITE_WORD(p, 0);
154 /* initrd_size */
155 WRITE_WORD(p, initrd_size);
156 /* rd_start */
157 WRITE_WORD(p, 0);
158 /* system_rev */
159 WRITE_WORD(p, 0);
160 /* system_serial_low */
161 WRITE_WORD(p, 0);
162 /* system_serial_high */
163 WRITE_WORD(p, 0);
164 /* mem_fclk_21285 */
165 WRITE_WORD(p, 0);
166 /* zero unused fields */
167 while (p < base + KERNEL_ARGS_ADDR + 256 + 1024) {
168 WRITE_WORD(p, 0);
170 s = info->kernel_cmdline;
171 if (s) {
172 cpu_physical_memory_write(p, (void *)s, strlen(s) + 1);
173 } else {
174 WRITE_WORD(p, 0);
178 static void main_cpu_reset(void *opaque)
180 CPUState *env = opaque;
181 struct arm_boot_info *info = env->boot_info;
183 cpu_reset(env);
184 if (info) {
185 if (!info->is_linux) {
186 /* Jump to the entry point. */
187 env->regs[15] = info->entry & 0xfffffffe;
188 env->thumb = info->entry & 1;
189 } else {
190 env->regs[15] = info->loader_start;
191 if (old_param) {
192 set_kernel_args_old(info, info->initrd_size,
193 info->loader_start);
194 } else {
195 set_kernel_args(info, info->initrd_size, info->loader_start);
199 /* TODO: Reset secondary CPUs. */
202 void arm_load_kernel(CPUState *env, struct arm_boot_info *info)
204 int kernel_size;
205 int initrd_size;
206 int n;
207 int is_linux = 0;
208 uint64_t elf_entry;
209 target_phys_addr_t entry;
210 int big_endian;
212 /* Load the kernel. */
213 if (!info->kernel_filename) {
214 fprintf(stderr, "Kernel image must be specified\n");
215 exit(1);
218 if (info->nb_cpus == 0)
219 info->nb_cpus = 1;
220 env->boot_info = info;
222 #ifdef TARGET_WORDS_BIGENDIAN
223 big_endian = 1;
224 #else
225 big_endian = 0;
226 #endif
228 /* Assume that raw images are linux kernels, and ELF images are not. */
229 kernel_size = load_elf(info->kernel_filename, NULL, NULL, &elf_entry,
230 NULL, NULL, big_endian, ELF_MACHINE, 1);
231 entry = elf_entry;
232 if (kernel_size < 0) {
233 kernel_size = load_uimage(info->kernel_filename, &entry, NULL,
234 &is_linux);
236 if (kernel_size < 0) {
237 entry = info->loader_start + KERNEL_LOAD_ADDR;
238 kernel_size = load_image_targphys(info->kernel_filename, entry,
239 ram_size - KERNEL_LOAD_ADDR);
240 is_linux = 1;
242 if (kernel_size < 0) {
243 fprintf(stderr, "qemu: could not load kernel '%s'\n",
244 info->kernel_filename);
245 exit(1);
247 info->entry = entry;
248 if (is_linux) {
249 if (info->initrd_filename) {
250 initrd_size = load_image_targphys(info->initrd_filename,
251 info->loader_start
252 + INITRD_LOAD_ADDR,
253 ram_size - INITRD_LOAD_ADDR);
254 if (initrd_size < 0) {
255 fprintf(stderr, "qemu: could not load initrd '%s'\n",
256 info->initrd_filename);
257 exit(1);
259 } else {
260 initrd_size = 0;
262 bootloader[1] |= info->board_id & 0xff;
263 bootloader[2] |= (info->board_id >> 8) & 0xff;
264 bootloader[5] = info->loader_start + KERNEL_ARGS_ADDR;
265 bootloader[6] = entry;
266 for (n = 0; n < sizeof(bootloader) / 4; n++) {
267 bootloader[n] = tswap32(bootloader[n]);
269 rom_add_blob_fixed("bootloader", bootloader, sizeof(bootloader),
270 info->loader_start);
271 if (info->nb_cpus > 1) {
272 smpboot[10] = info->smp_priv_base;
273 for (n = 0; n < sizeof(smpboot) / 4; n++) {
274 smpboot[n] = tswap32(smpboot[n]);
276 rom_add_blob_fixed("smpboot", smpboot, sizeof(smpboot),
277 info->smp_loader_start);
279 info->initrd_size = initrd_size;
281 info->is_linux = is_linux;
282 qemu_register_reset(main_cpu_reset, env);