> > Kernel I already had, but everything dynamically linked core dumped after
> > boot; I'll try your kernel and see if that's any different. Made a
> > netbootable one, I hope ... ?
> 
> Oh yes - good luck.

What I meant to say, was if you use the arm32-19990306 snapshot, which was
built form last weekend's source tarballs, then all three SHARK kernels
are present (netboot, sdboot and wdboot).  

However, you might need to get the whole new snapshot because we're now at
1.3K and the 19990220 was 1.3I.  Could you let me know how you get on?

Cheers,

David.