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 gerrit@coreboot.org 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