Hello Stefan
If everyone agrees I can change the naming, no big problem there.
I would like to see if you can use the same style for 440 -> CONFIG_XILINX_440. I have no detail information about ppc440 but IMHO only virtex5 fx (or whatever) support it -> make no sense to me use virtex5 in name.
SR: Do you agree with me?
There is big part of code relate with interrupt controller which is the same with microblaze. This should be handled in the same way. Any suggestion? (Do generic driver?)
I will suggest the creation of a new directory /drivers/interrupt/
And locate there the pic drivers
:-( no use this loooooooooooooong value which comes from generated xparameters.h. SR:Am I understand correctly that 405 or 440 use 32 bits (64...) wide interrupt controllers?
I prefer using the xparameters.h values. IMO this helps the creation of the u-boot for a board
Best regards and thanks for the comments