>>> On 25.02.16 at 15:56, <anthony.per...@citrix.com> wrote: > @@ -127,22 +124,29 @@ static void seabios_setup_e820(void) > struct e820entry *e820 = scratch_alloc(sizeof(struct e820entry)*16, 0); > info->e820 = (uint32_t)e820; > > + BUG_ON(seabios_config.bios_address == 0);
I think this is too lax: Surely this shouldn't live below 0xC0000 nor above 0x100000? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
