BSP specific settings

[Daniel Cederman]

Hi,

I would like to add a way for the user of the leon3 bsp to specify the 
irq that should be used for IPIs. Is it adding an option to 
configure.ac for the bsp that is the recommended way? Or does there 
exist a supported way of setting bsp specific parameters similar to how 
it is done with confdefs.h? So that the kernel does not need to be 
recompiled to change it?

Best regards,
Daniel C