#include <platforms/sbs8260.h>
#endif
-#ifdef CONFIG_RPX8260
-#include <platforms/rpx8260.h>
+#ifdef CONFIG_RPX6
+#include <platforms/rpxsuper.h>
#endif
#ifdef CONFIG_WILLOW
#include <platforms/tqm8260.h>
#endif
-#ifdef CONFIG_PQ2ADS
-#include <platforms/pq2ads.h>
-#endif
-
/* Make sure the memory translation stuff is there if PCI not used.
*/
#ifndef _IO_BASE