> 
> Is there any device driver for the DSP56001 of the Falcon030?
> 
No. I think we are in dire need of a Falcon developer...

There is currently a small number of people doing a *lot* of work. It
would be nice to extend that group a bit. So if you like to see something
done and you *think* you can do it, please do! I will try to help you
out if there are questions.
However, if you are planning to undertake something, please let the list
(or me) know, so that things can be coordinated a little bit.

Leo.