[syslinux] efilinux release 0.8

Matt Fleming matt at console-pimps.org
Mon Oct 3 01:57:53 PDT 2011

(Let's move this to the Syslinux mailing list and add Keshav)

On Sat, 2011-10-01 at 17:36 +0000, Dick wrote:
> Matt Fleming <matt <at> console-pimps.org> writes:
> > If anyone has the time and inclination I'd really appreciate it if they
> > could have a play with it on their machines and report any bugs.
> Latitude E6510 (Intel 45 Express chipset, UEFI can start efilinux.efi (I get the 
> usage output) but when I load a kernel it get stuck after a message about the 
> kernel is being loaded.

Have you compiled your kernel with CONFIG_FB_EFI=y? Can you hook up a
serial console and see if anything is emitted? Can you tell if your
machine has hung while trying to load the kernel image or is it just
that the kernel has boooted but isn't printing anything on the screen?

> I'm using the (old) shell (EdkShellBinPkg) from tianocore(.sf.net) to start 
> efilinux.efi because the Dell BIOS setup utility can't add parameters to an EFI 
> executable.

Hmm.. Keshav has also run into this problem with the old tianocore shell
and I haven't been able to get to the bottom of it yet.

Can you try the latest version at,


And if that version still doesn't work can you apply the following patch
to efilinux and see if you are returned to the EFI shell after trying to
load the kernel, i.e. it should no longer hang, but it won't
successfully boot the kernel either.

diff --git a/loaders/bzimage/bzimage.c b/loaders/bzimage/bzimage.c
index 054df4d..1b011eb 100644
--- a/loaders/bzimage/bzimage.c
+++ b/loaders/bzimage/bzimage.c
@@ -308,6 +308,7 @@ again:
 	/* Close all open file handles */
+	return EFI_SUCCESS;
 	err = exit_boot_services(image, map_key);
 	if (err != EFI_SUCCESS)
 		goto out;

More information about the Syslinux mailing list