update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / s3c / config-arm-s3c2410.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/s3c/config-arm-s3c2410.cpp b/kernel/fiasco/src/kern/arm/bsp/s3c/config-arm-s3c2410.cpp
index 610898c1e87550ea6c13403332a07a091f4d0c0a..fd41a3e7c28a75f486473afc1982755c1133f54e 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/s3c/config-arm-s3c2410.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/s3c/config-arm-s3c2410.cpp
@@ -1,14 +1,3 @@
 INTERFACE [arm && s3c2410]:
 
 #define TARGET_NAME "S3C2410"
-
-EXTENSION class Config
-{
-public:
-  enum
-  {
-    Scheduling_irq       = 14,
-    Max_num_dirqs        = 65,
-  };
-};
-