> Is there work being done for the algorithmics p4032 board ?
The bad news: the R4640 CPU is not suitable for Linux, because it
doesn't have memory translation hardware (the TLB).
Your P-4032 might have been built with an additional CPU onboard - a
QED RM5230. Take off the little daughterboard and look underneath.
If so, you're in luck, the RM5230 is suitable.
And then: there are a couple of people building Linux on P-4032. But
the best hope is that there is a good kernel available now and soon to
be made publicly available for Algorithmics' P-5064, and that's not