update

[l4.git] / kernel / fiasco / src / kern / ppc32 / bsp / mpc52xx / config-ppc32-mpc52xx.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/config-ppc32-mpc52xx.cpp b/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/config-ppc32-mpc52xx.cpp
index b7c43068facf243e297660bafe45b5dbc8c4878f..cca82fa31210a5b32179b7ed548d447007ae4d69 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/config-ppc32-mpc52xx.cpp
+++ b/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/config-ppc32-mpc52xx.cpp
@@ -1,7 +1,5 @@
 INTERFACE [ppc32 && mpc52xx]:
 
-#include "pic.h"
-
 #define TARGET_NAME "MPC52xx"
 
 EXTENSION class Config
@@ -9,6 +7,5 @@ EXTENSION class Config
 public:
   enum
   {
-    Max_num_dirqs = Pic::IRQ_MAX,
   };
 };