Re: TS 7200 kernel image size

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

>> Regardless, I think this isn't
>> your problem.  Does tsrtc0 attach?  (This is assuming you purchased
>> the TOD clock hardware).
>
>tsrtc0 is in the kernel config. There is no line in the dmesg output
>for it (nor was there one in 3.1.1).

Hm.  I guess you didn't purchase the RTC, did you?  (It would be a seperate
board).

>> 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.
>
>I've tried replacing that file from a -current tree (ep93xx missing in
>path) but it didn't change anything.
>epclk0 at epsoc0 addr 0x80810000-0x8081008f intr 35
> addr 0x80810000-0x8081008f intr 35 not configured

Okay, well, this is clearly wrong ... but I don't know what the problem is.
I'm still at 4.0 on my TS-7200; does that work?

--Ken