Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

I have been working on building the coreboot Package from EDK 2 source code in Ubuntu 12.04. It has been failing repeatedly after I have followed the provided guides on building the Package.Well earlier after setting up the EDK 2 environment and entering it (edksetup.sh) the MdeModule package got successfully built with no errors. But getting to the Corebootpkg it seems to end up with errors.I had followed Patrick Georgi' s EDK 2-CorebootPkg branch in building the CorebootPkg and these are the errors I faced:

/usr/local/src/edk2-coreboot-pkg/corebootPkg/PlatformPei/MemDetect.c:97:19: error: cast to pointer from integer of different size [-Werror=int-to-pointer-cast] cc1: all warnings being treated as errors make: * [/usr/local/src/edk2-coreboot-pkg/Build/corebootIA32/DEBUG_GCC46/IA32/corebootPkg/PlatformPei/PlatformPei/OUTPUT/MemDetect.obj] Error 1

build.py... : error 7000: Failed to execute command make tbuild [/usr/local/src/edk2-coreboot-pkg/Build/corebootIA32/DEBUG_GCC46/IA32/corebootPkg/PlatformPei/PlatformPei]

build.py... : error F002: Failed to build module /usr/local/src/edk2-coreboot-pkg/corebootPkg/PlatformPei/PlatformPei.inf [IA32, GCC46, DEBUG]

  • Failed - Build end time: 12:31:31, Sept.09 2013 Build total time: 00:01:27

Similarly the branch had mentioned in its build guide of the existence of a FVIMAGE but it dosen' t seem to appear at all. So how do I build the corebootPkg successfully. Similarly is the build guide sufficient or are there any complex procedures I need to follow ?

Any help would be greatly appreciated and honored.....


share|improve this question
Sorry, I've only seen this now. The problem happens only on some compiler versions. I think it's fixed in the current version (in case you still want to try). –  Patrick Georgi Jan 10 at 20:48
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.