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
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
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
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
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 model.
As
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
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 model.
As
On 03/04/2010 07:27 PM, b95705...@ntu.edu.tw wrote:
引述 Andrew Haley a...@redhat.com:
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
引述 Andrew Haley a...@redhat.com:
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
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
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
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
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
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
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
15 matches
Mail list logo