]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/arm/bsp/imx/config-arm-imx.cpp
update
[l4.git] / kernel / fiasco / src / kern / arm / bsp / imx / config-arm-imx.cpp
index e03f69c6f1126abe0926508be5f907413accbfc0..5b6bfa35a9e498182e82531bdb002e69b91ec883 100644 (file)
@@ -12,6 +12,21 @@ public:
   };
 };
 
+INTERFACE [arm && imx35]:
+
+#define TARGET_NAME "i.MX35"
+
+EXTENSION class Config
+{
+public:
+  enum
+  {
+    Scheduling_irq       = 28,
+    Max_num_dirqs        = 64,
+  };
+};
+
+
 INTERFACE [arm && imx51]:
 
 #define TARGET_NAME "i.MX51"