[ECOS] Should the PowerPC HAL CDL have a "requires CYGPKG_INFRA" clause?

[Patrick Doyle]

I have been porting eCos to a new (PowerPC) platform and, following the
porting guide, I created a configuration based on the "stubs" template and
proceeded to remove all of the packages that I thought were unnecessary.
Since I wanted as simple of a system as possible, I figured I would just
remove all of the packages except for the minimum HAL related packages:

% ecosconfig new ts6 stubs
% ecosconfig remove CYGPKG_HAL_QUICC CYGPKG_INFRA CYGPKG_ISOINFRA \
	CYGPKG_IO CYGPKG_IO_SERIAL CYGPKG_ERROR

Since this step worked fine, I proceeded with
% ecosconfig tree
% make

And, (not terribly surprising, in retrospect), the make failed because
various files were unable to find <cyg/infra/cyg_type.h>.  So, it seems to
me that there is something in the PowerPC architecture that depends on
CYGPKG_INFRA (because adding that package back in made the problem go away).
At a minimum, hal/powerpc/arch/current/include/hal_intr.h depends on
<cyg/infra/cyg_type.h>, there are, very likely, other places as well.

So, (finally), here is my question:

Should there be a "requires CYGPKG_INFRA" in the CDL for the PowerPC HAL?

--wpd