]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/arm/bsp/realview/config-arm-realview.cpp
update
[l4.git] / kernel / fiasco / src / kern / arm / bsp / realview / config-arm-realview.cpp
index 2b58c8eb80a8d4bb05abb9314900adb42d7d20b6..b92a83e3461d7470ebfb46407f479e7f554b5b0f 100644 (file)
@@ -7,11 +7,7 @@ EXTENSION class Config
 public:
   enum
   {
-    Max_num_irqs         = 258,
     Max_num_dirqs        = 256,
-
-    Vkey_irq             = 256,
-    Tbuf_irq             = 257,
   };
 };
 
@@ -23,7 +19,6 @@ public:
   enum
   {
     Scheduling_irq       = 36,
-    scheduler_irq_vector = Scheduling_irq,
   };
 };
 
@@ -35,7 +30,6 @@ public:
   enum
   {
     Scheduling_irq       = 29,
-    scheduler_irq_vector = Scheduling_irq,
   };
 };