elfcheck
Xilinx EDK 13.4 Build EDK_O.87xd
Copyright (c) 1995-2011 Xilinx, Inc.  All rights reserved.

Command Line: elfcheck -hw ../../MBZ-509-SMP_hw_platform/system.xml -pe
microblaze_0 core_0_boot.elf 

ELF file	: core_0_boot.elf
elfcheck passed.
