> A) Do nothing...document in the handbook that if your machine is
> 64-bit, you *must* select the mips64 sub-profile. (I don't like this
> because some folks may be confused as to why everything still works
> just fine with the mips profile, and/or they will just skim over that
> and keep going)
> B) Similar to A, except ship stages without the profile set. That
> way, folks really are stuck until they set the proper profile. (I
> don't like this because they could still be confused and set the mips
> C) Make default-linux/mips/ provide all the 64-bit stuff and get rid
> of the mips64 sub-profile, since all of the SGI machines we support
> can run 64-bit kernels if you so choose (ip22 is the only system that
> supports a 32-bit kernel at this time).
> D) (Kumba's idea here...) Have machine specific profiles, e.g.
> default-linux/mips/ip22, default-linux/mips/ip32, etc. (This could
> be really useful because it would allow us to do some other machine
> specific voodoo in the profile).
I quite like D here. Removes any confusion as to what profile you want,
and could then be combined with B so that people don't end up with the
wrong profile set anyway.
email@example.com mailing list