Hi Phil,

you wrote in <199605261358.XAA06360@scurvy.dhn.csiro.au>:
> There is a TIMEZONE option in the kernel configuration, which doesn't
> seem to do anything.

Exactly.

You can set the timezone by soft linking "/etc/timezone" to one of the
file in "/usr/share/zoneinfo" e.g. "/usr/share/zoneinfo/Australia/Sydney".

-- 
Matthias Scheler
tron@lyssa.owl.de