I guess you are missing AArch64. You are mixing with ARM. The patch does: [LibraryClasses.AARCH64] + NULL|ArmPkg/Library/CompilerIntrinsicsLib/CompilerIntrinsicsLib.inf ArmLib|ArmPkg/Library/ArmLib/AArch64/AArch64Lib.inf
________________________________________ From: Carsey, Jaben [jaben.car...@intel.com] Sent: 21 August 2014 21:32 To: Olivier Martin; edk2-devel@lists.sourceforge.net Cc: Harry Liebel; Carsey, Jaben Subject: RE: [edk2] [PATCH] ShellPkg: Specify AArch64 intrinsics library This appears identical to the change made in 2011 by Andrew fish. Am I missing something? I see that line in the DSC already. The library under it (AArch64Lib.inf) does not appear in the tip though… not sure what happened. -Jaben From: Olivier Martin [mailto:olivier.mar...@arm.com] Sent: Thursday, August 21, 2014 6:12 AM To: edk2-devel@lists.sourceforge.net; Carsey, Jaben Cc: Harry Liebel Subject: RE: [edk2] [PATCH] ShellPkg: Specify AArch64 intrinsics library Importance: High ... with the patch From: Olivier Martin [mailto:olivier.mar...@arm.com] Sent: 21 August 2014 12:01 To: Carsey, Jaben Cc: edk2-devel@lists.sourceforge.net<mailto:edk2-devel@lists.sourceforge.net>; Harry Liebel Subject: [edk2] [PATCH] ShellPkg: Specify AArch64 intrinsics library Dear ShellPkg maintainer, Please find the attached patch that adds the CompilerIntrinsics for AARCH64. Contributed-under: TianoCore Contribution Agreement 1.0 Signed-off-by: Harry Liebel <harry.lie...@arm.com<mailto:harry.lie...@arm.com>> Reviewed-By: Olivier Martin <olivier.mar...@arm.com<mailto:olivier.mar...@arm.com>> Regards, Olivier -- IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you. ARM Limited, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ, Registered in England & Wales, Company No: 2557590 ARM Holdings plc, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ, Registered in England & Wales, Company No: 2548782 ------------------------------------------------------------------------------ Slashdot TV. Video for Nerds. Stuff that matters. http://tv.slashdot.org/ _______________________________________________ edk2-devel mailing list edk2-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/edk2-devel
