On Monday 08 August 2011, Mark Salter wrote:

+
+config NR_IRQS
+       int "Number of virtual interrupt numbers"
+       range 32 32768
+       default "256"
+       help
+         This defines the number of virtual interrupt numbers the kernel
+         can manage. Virtual interrupt numbers are what you see in
+         /proc/interrupts. If you configure your system to have too few,
+         drivers will fail to load or worse - handle with care.

Does this need to be configurable? I think you can simply hardcode it to 
a reasonably high number, because with sparse IRQs the cost is relatively
low.

+
+menu "Bus options (PCI, PCMCIA, EISA, MCA, ISA)"
+
+config PCI
+       bool "PCI support"
+       help
+         Support for PCI bus.
+endmenu
+

Do you actually support PCI? I don't see any of the required code for that
and you can save a lot of trouble by not allowing PCI at all.

	Arnd