kernel/fiasco/src/kern/arm/bsp/kirkwood/config-arm-kirkwood.cpp

   1 INTERFACE[arm && kirkwood]:
   2
   3 #define TARGET_NAME "Marvell Kirkwood"
   4
   5 EXTENSION class Config
   6 {
   7 public:
   8   enum
   9   {
  10     Max_num_irqs         = 66,
  11     Max_num_dirqs        = 64,
  12
  13     Vkey_irq             = 64,
  14     Tbuf_irq             = 65,
  15
  16     Scheduling_irq       = 1,
  17     scheduler_irq_vector = Scheduling_irq,
  18   };
  19 };