[syslinux] elf32-i386 kernel format

[sarquer at xtranet.sud.c-s.fr]

Hi,

i'd like to load an RTEMS executive file with pxelinux , the file format
generated after the compilation is :

ELF 32-bits LSB executable Intel 80386, version 1 (SYSV), statically
linked, stripped

PXElinux seems to not recognize this format, the error msg is:
  invalid or corrupt kernel image

Did you have already see such problem ?
Is it a workaround ?

Thanks for your help.

Best regards

Stephane ARQUER