the following patch was just integrated into master:
commit b8ad2244686a801a96326d8075526d9b701ad982
Author: Stefan Reinauer <[email protected]>
Date: Fri Jan 11 10:41:42 2013 -0800
cbmem: replace pointer type by uint64_t
Since coreboot is compiled into 32bit code, and userspace
might be 32 or 64bit, putting a pointer into the coreboot
table is not viable. Instead, use a uint64_t, which is always
big enough for a pointer, even if we decide to move to a 64bit
coreboot at some point.
Change-Id: Ic974cdcbc9b95126dd1e07125f3e9dce104545f5
Signed-off-by: Stefan Reinauer <[email protected]>
Reviewed-on: http://review.coreboot.org/2135
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <[email protected]>
Build-Tested: build bot (Jenkins) at Fri Jan 11 19:54:39 2013, giving +1
Reviewed-By: Ronald G. Minnich <[email protected]> at Fri Jan 11 19:56:42
2013, giving +2
See http://review.coreboot.org/2135 for details.
-gerrit
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot
