|
@@ -333,6 +333,7 @@ void axisdev88_init(MachineState *machine)
|
|
if (kernel_filename) {
|
|
if (kernel_filename) {
|
|
li.image_filename = kernel_filename;
|
|
li.image_filename = kernel_filename;
|
|
li.cmdline = kernel_cmdline;
|
|
li.cmdline = kernel_cmdline;
|
|
|
|
+ li.ram_size = machine->ram_size;
|
|
cris_load_image(cpu, &li);
|
|
cris_load_image(cpu, &li);
|
|
} else if (!qtest_enabled()) {
|
|
} else if (!qtest_enabled()) {
|
|
fprintf(stderr, "Kernel image must be specified\n");
|
|
fprintf(stderr, "Kernel image must be specified\n");
|