Re: TS 7200 kernel image size

[Ken Hornstein <kenh%cmf.nrl.navy.mil@localhost>]

>One thing I noticed between 3.1.1 and 5.0 is the following dmesg
>change:
>
>-epsoc0: fclk 165.89 Mhz hclk 66.36 Mhz pclk 33.18 Mhz
>-epclk0 at epsoc0 addr 0x80810000-0x8081008f intr 35
>+epsoc0: fclk 165.89 MHz hclk 66.36 MHz pclk 33.18 MHz
>+epclk0 at epsoc0 addr 0x80810000-0x8081008f intr 35
>+ addr 0x80810000-0x8081008f intr 35 not configured
>...
>+WARNING: no TOD clock present
>+WARNING: using filesystem time

Is epclk0 in your kernel config file?  Regardless, I think this isn't
your problem.  Does tsrtc0 attach?  (This is assuming you purchased
the TOD clock hardware).  If it does not, then that is also a bug I
fixed along the way and again was too lame to submit a pullup request.
If your problem is really a lack of tsrtc0, then check out revision 1.16
of sys/arch/arm/epclk.c; that should fix that problem.

--Ken