Hello Tristan
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.
I have read the sizeof and VLA in C99
I found a example:
EXAMPLE 3
On Mar 19, 2010, at 5:33 AM, b95705...@ntu.edu.tw wrote:
> Hello Tristan,
>
>> 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 mod
On Mar 19, 2010, at 12:48 PM, b95705...@ntu.edu.tw wrote:
> I use Macbook with refit ,and its EFI shell version is 1.10.I have read
> some related information but I don't find how to launch EBC virture machine.
> I am truely want to know how could I launch it with fully appreciation.
> And I am wo
On Mar 19, 2010, at 1:33 PM, b95705...@ntu.edu.tw wrote:
> Hello Tristan,
>
>> 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 mod
Hello Tristan,
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.
As I read some related information, LLVM IR doesn't care the size
Hello Andrew,
Who would maintain this EFI back-end?
The EFI specification was originally developed by Intel, and is now
managed by the Unified EFI Forum[http://www.uefi.org/home/].
So, you don't know who would maintain the EFI back-end that you're
proposing for gcc?
I feel sorry that I mis
Hello Joe,
The other hurdle would be the ABI. It's very particular since it has
to accommodate calling into and from EBC, x86, x86_64, ia64, and any
other architecture available. It's structured mainly on Microsoft's
stdcall ABI.
I have read the part about EBC of EFI specification.But I foun
On 03/04/2010 07:27 PM, b95705...@ntu.edu.tw wrote:
> 引述 Andrew Haley :
>
>> There is no reason in principle this shouldn't be part of gcc.
>>
>> I think no-one has responded yet because they don't know what it would
>> be for, and how much work it would involve.
>
> What compiler doing is: c ->
Hello. I'm actually an EFI engineer so this project is of great
interest to me. I would be willing to lend a hand off hours if this
goes through, so please keep me in the loop.
I think the biggest hurdle would be the c front end since EBC (EFI
byte code) introduces variable sized pointers as wel
引述 Andrew Haley :
There is no reason in principle this shouldn't be part of gcc.
I think no-one has responded yet because they don't know what it would
be for, and how much work it would involve.
What compiler doing is: c -> intermediate language -> asm(ex. x86).
And then, c compiler for efi
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
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 ol
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-compati
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 specificat
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 specificat
15 matches
Mail list logo
