> In the system configuration file, how do I set the TIMEZONE option
> for Eastern daylight time.

Set it to 300, I think.  But notice the comment that calls that
"obsolete"?  There's a reason for that; nothing uses it any longer.

> I have tried setting to an offset of 300 minutes from GMT but the
> system always shows PDT instead of EDT.

That's because you didn't relink /etc/localtime.  Fix that, ignore the
silly TIMEZONE kernel config option, and everything should be fine.

					der Mouse

			    mouse@collatz.mcrcim.mcgill.edu