On 03/03/2010 10:53 AM, Tristan Gingold wrote: > > On Mar 3, 2010, at 11:36 AM, Andrew Haley wrote: > >> On 03/03/2010 04:52 AM, b95705...@ntu.edu.tw wrote: >> >>> I am highly interestd in implementing C compiler for EFI Byte Code in >>> gcc and participate in Google Summer Code. >>> >>> EFI is a much larger, more complex,OS-like replacement for the older BIOS >>> firmware interface present in all IBM PC-compatible personal computers. >>> and the EFI specification provides for a processor-independent device >>> driver environment(like virtualmachine), called EFI Byte Code or EBC. >>> >>> Intel(R) C Compiler for EFI Byte Code, the only one C compiler for EFI >>> Byte Code >>> (http://sx.intel.com/p-553-intel-c-compiler-for-efi-byte-code.aspx) >>> is not open source, and also a pay software. >>> >>> So i am wondering whether this kind of idea is valuable to the gcc >>> community? or are there any other related ideas is more valuable? >> >> There is no reason in principle this shouldn't be part of gcc. > > I think the main issue is that EFI C dialect is not ANSI-C compliant: the > size of pointer is determined > at the run-time and therefore the layout of the structure is not static. Gcc > doesn't support this model.
Ouch. That does sound difficult. Andrew.