Idea for Google Summer Code : C Compiler for EFI Byte Code implement in gcc

[b95705030@ntu.edu.tw]

Hello all,

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?


thanks

       yi-hong