.max_grant_frames = -1,
.max_maptrack_frames = -1,
};
+ const char *hypervisor_name;
/* Critical region without IDT or TSS. Any fault is deadly! */
* allocing any xenheap structures wanted in lower memory. */
kexec_early_calculations();
- hypervisor_probe();
+ hypervisor_name = hypervisor_probe();
parse_video_info();
printk("Command line: %s\n", cmdline);
printk("Xen image load base address: %#lx\n", xen_phys_start);
+ if ( hypervisor_name )
+ printk("Running on %s\n", hypervisor_name);
#ifdef CONFIG_VIDEO
printk("Video information:\n");
max_cpus = nr_cpu_ids;
}
- if ( xen_guest )
+ if ( hypervisor_name )
hypervisor_setup();
/* Low mappings were only needed for some BIOS table parsing. */