#      help
 #        This option enables support for the CPCI405 board.
 
+config ACADIA
+       bool "Acadia"
+       depends on 40x
+       default n
+       select PPC40x_SIMPLE
+       select 405EZ
+       help
+         This option enables support for the AMCC 405EZ Acadia evaluation board.
+
 config EP405
        bool "EP405/EP405PC"
        depends on 40x
          Most Virtex designs should use this unless it needs to do some
          special configuration at board probe time.
 
+config PPC40x_SIMPLE
+       bool "Simple PowerPC 40x board support"
+       depends on 40x
+       default n
+       help
+         This option enables the simple PowerPC 40x platform support.
+
 # 40x specific CPU modules, selected based on the board above.
 config NP405H
        bool
        select IBM_NEW_EMAC_EMAC4
        select IBM_NEW_EMAC_RGMII
 
+config 405EZ
+       bool
+       select IBM_NEW_EMAC_NO_FLOW_CTRL
+       select IBM_NEW_EMAC_MAL_CLR_ICINTSTAT
+       select IBM_NEW_EMAC_MAL_COMMON_ERR
+
 config 405GPR
        bool
 
 
--- /dev/null
+/*
+ * Generic PowerPC 40x platform support
+ *
+ * Copyright 2008 IBM Corporation
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the
+ * Free Software Foundation; version 2 of the License.
+ *
+ * This implements simple platform support for PowerPC 44x chips.  This is
+ * mostly used for eval boards or other simple and "generic" 44x boards.  If
+ * your board has custom functions or hardware, then you will likely want to
+ * implement your own board.c file to accommodate it.
+ */
+
+#include <asm/machdep.h>
+#include <asm/pci-bridge.h>
+#include <asm/ppc4xx.h>
+#include <asm/prom.h>
+#include <asm/time.h>
+#include <asm/udbg.h>
+#include <asm/uic.h>
+
+#include <linux/init.h>
+#include <linux/of_platform.h>
+
+static __initdata struct of_device_id ppc40x_of_bus[] = {
+       { .compatible = "ibm,plb3", },
+       { .compatible = "ibm,plb4", },
+       { .compatible = "ibm,opb", },
+       { .compatible = "ibm,ebc", },
+       { .compatible = "simple-bus", },
+       {},
+};
+
+static int __init ppc40x_device_probe(void)
+{
+       of_platform_bus_probe(NULL, ppc40x_of_bus, NULL);
+
+       return 0;
+}
+machine_device_initcall(ppc40x_simple, ppc40x_device_probe);
+
+/* This is the list of boards that can be supported by this simple
+ * platform code.  This does _not_ mean the boards are compatible,
+ * as they most certainly are not from a device tree perspective.
+ * However, their differences are handled by the device tree and the
+ * drivers and therefore they don't need custom board support files.
+ *
+ * Again, if your board needs to do things differently then create a
+ * board.c file for it rather than adding it to this list.
+ */
+static char *board[] __initdata = {
+       "amcc,acadia"
+};
+
+static int __init ppc40x_probe(void)
+{
+       unsigned long root = of_get_flat_dt_root();
+       int i = 0;
+
+       for (i = 0; i < ARRAY_SIZE(board); i++) {
+               if (of_flat_dt_is_compatible(root, board[i])) {
+                       ppc_pci_flags = PPC_PCI_REASSIGN_ALL_RSRC;
+                       return 1;
+               }
+       }
+
+       return 0;
+}
+
+define_machine(ppc40x_simple) {
+       .name = "PowerPC 40x Platform",
+       .probe = ppc40x_probe,
+       .progress = udbg_progress,
+       .init_IRQ = uic_init_tree,
+       .get_irq = uic_get_irq,
+       .restart = ppc4xx_reset_system,
+       .calibrate_decr = generic_calibrate_decr,
+};