Debian on RPi

[Mark Morgan Lloyd]

Is there still a kernel etc. anywhere for the original Raspberry Pi? 
I've got a colleague who's dead set on using the one that we've got as a 
router rather than dipping into our stock of 2's and 3's, and while 
usb_modeswitch runs fine on pukka Debian I've had very little success 
with Raspbian.

--
Mark Morgan Lloyd
markMLl .AT. telemetry.co .DOT. uk
[Opinions above are the author's, not those of his employers or colleagues]