|
@@ -1069,6 +1069,16 @@ void __init setup_arch(char **cmdline_p)
|
|
|
mdesc = setup_machine_fdt(__atags_pointer);
|
|
|
if (!mdesc)
|
|
|
mdesc = setup_machine_tags(__atags_pointer, __machine_arch_type);
|
|
|
+ if (!mdesc) {
|
|
|
+ early_print("\nError: invalid dtb and unrecognized/unsupported machine ID\n");
|
|
|
+ early_print(" r1=0x%08x, r2=0x%08x\n", __machine_arch_type,
|
|
|
+ __atags_pointer);
|
|
|
+ if (__atags_pointer)
|
|
|
+ early_print(" r2[]=%*ph\n", 16,
|
|
|
+ phys_to_virt(__atags_pointer));
|
|
|
+ dump_machine_table();
|
|
|
+ }
|
|
|
+
|
|
|
machine_desc = mdesc;
|
|
|
machine_name = mdesc->name;
|
|
|
dump_stack_set_arch_desc("%s", mdesc->name);
|