I can't log into gerrit at the moment, so I reply here. On Thu, Jan 31, 2013 at 1:08 AM, Ronald G. Minnich <[email protected]> wrote: > + /* wow, did it work? */ > + int i; > + u32 *c = (void *)0x40000000;
what is at 0x40000000? what is "c"? Please use a define or a more descriptive name for the pointer. Thanks, Bernhard -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot

