/** @file\r
*\r
-* Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
+* Copyright (c) 2011-2014, ARM Limited. All rights reserved.\r
*\r
* This program and the accompanying materials\r
* are licensed and made available under the terms and conditions of the BSD License\r
LinuxImage = LINUX_KERNEL_MAX_OFFSET;\r
Status = BdsLoadImage (LinuxKernelDevicePath, AllocateMaxAddress, &LinuxImage, &LinuxImageSize);\r
if (EFI_ERROR(Status)) {\r
- Print (L"ERROR: Did not find Linux kernel.\n");\r
+ Print (L"ERROR: Did not find Linux kernel (%r).\n", Status);\r
return Status;\r
}\r
}\r
Status = BdsLoadImage (InitrdDevicePath, AllocateAnyPages, &InitrdImageBase, &InitrdImageBaseSize);\r
}\r
if (EFI_ERROR (Status)) {\r
- Print (L"ERROR: Did not find initrd image.\n");\r
+ Print (L"ERROR: Did not find initrd image (%r).\n", Status);\r
goto EXIT_FREE_LINUX;\r
}\r
\r
FdtBlobBase = LINUX_KERNEL_MAX_OFFSET;\r
Status = BdsLoadImage (FdtDevicePath, AllocateMaxAddress, &FdtBlobBase, &FdtBlobSize);\r
if (EFI_ERROR(Status)) {\r
- Print (L"ERROR: Did not find Device Tree blob.\n");\r
+ Print (L"ERROR: Did not find Device Tree blob (%r).\n", Status);\r
goto EXIT_FREE_INITRD;\r
}\r
\r