[ECOS] Header files in platform port

[Paul Pham]

Hi all,

I am trying to do a platform port of eCos to an eval. board with one of
Samsung's ARM-based chips (the S3C3410X). As the porting guide suggested, I
copied the files from another platform (in this case, the PID), and made the
necessary modifications. However, when I try to build the libraries with the
Windows Configuration Tool, it fails to generate the following header files:

<pkg_install_dir>/include/pkgconf/error.h
<pkg_install_dir>/include/pkgconf/hal.h
<pkg_install_dir>/include/pkgconf/hal_arm.h
<pkg_install_dir>/include/pkgconf/hal_arm_<platform>.h
<pkg_install_dir>/include/pkgconf/infra.h
<pkg_install_dir>/include/pkgconf/io.h
<pkg_install_dir>/include/pkgconf/io_serial.h
<pkg_install_dir>/include/pkgconf/kernel.h
<pkg_install_dir>/include/pkgconf/libc.h
<pkg_install_dir>/include/pkgconf/libm.h
<pkg_install_dir>/include/pkgconf/system.h
<pkg_install_dir>/include/pkgconf/wallclock.h

Any idea what I'm doing wrong?

Many thanks,
Paul Pham