Hi all,

I have just created a page on the Tianocore wikipage to explain the steps to build EDK2 for the Samsung Origen low cost development board:

https://sourceforge.net/apps/mediawiki/tianocore/index.php?title=SamsungPlat formPkg

These instructions are based on the Samsung Origen EDK2 support written by Girish K S (Samsung / Linaro) and target the Linaro Linux 'distribution' (Linux kernel + file system provided by Linaro).

Please find the attached patches to fix the current head of the Samsung Origen EDK2 port (ed456b2d64f3 (22/11/2011)).

Limitation and status of this port:

- EDK2 must make the transition from Secure to Non-Secure world to setup the Timer IRQ - something is locking the GIC distributor that prevents to enable the Timer IRQ in Secure world. I have not investigated this issue.

- Cannot start the Linaro's kernel - I have not investigated this issue yet.

- Display support (not tested).

- Can start a EFI Shell or an EFI application.

Kind Regards,

Olivier