select SWIOTLB
        select MPC8xxx_GPIO
        select HAS_RAPIDIO
+       select PPC_EPAPR_HV_PIC
        help
          This option enables support for the P3041 DS board
 
        select SWIOTLB
        select MPC8xxx_GPIO
        select HAS_RAPIDIO
+       select PPC_EPAPR_HV_PIC
        help
          This option enables support for the P4080 DS board
 
        select SWIOTLB
        select MPC8xxx_GPIO
        select HAS_RAPIDIO
+       select PPC_EPAPR_HV_PIC
        help
          This option enables support for the P5020 DS board
 
 
        {
                .compatible     = "fsl,qoriq-pcie-v2.2",
        },
+       /* The following two are for the Freescale hypervisor */
+       {
+               .name           = "hypervisor",
+       },
+       {
+               .name           = "handles",
+       },
        {}
 };
 
 
 #include <linux/of_platform.h>
 #include <sysdev/fsl_soc.h>
 #include <sysdev/fsl_pci.h>
+#include <asm/ehv_pic.h>
 
 #include "corenet_ds.h"
 
 {
        unsigned long root = of_get_flat_dt_root();
 
-       return of_flat_dt_is_compatible(root, "fsl,P3041DS");
+       if (of_flat_dt_is_compatible(root, "fsl,P3041DS"))
+               return 1;
+
+       /* Check if we're running under the Freescale hypervisor */
+       if (of_flat_dt_is_compatible(root, "fsl,P3041DS-hv")) {
+               ppc_md.init_IRQ = ehv_pic_init;
+               ppc_md.get_irq = ehv_pic_get_irq;
+               ppc_md.restart = fsl_hv_restart;
+               ppc_md.power_off = fsl_hv_halt;
+               ppc_md.halt = fsl_hv_halt;
+               return 1;
+       }
+
+       return 0;
 }
 
 define_machine(p3041_ds) {
 
 #include <linux/of_platform.h>
 #include <sysdev/fsl_soc.h>
 #include <sysdev/fsl_pci.h>
+#include <asm/ehv_pic.h>
 
 #include "corenet_ds.h"
 
 {
        unsigned long root = of_get_flat_dt_root();
 
-       return of_flat_dt_is_compatible(root, "fsl,P4080DS");
+       if (of_flat_dt_is_compatible(root, "fsl,P4080DS"))
+               return 1;
+
+       /* Check if we're running under the Freescale hypervisor */
+       if (of_flat_dt_is_compatible(root, "fsl,P4080DS-hv")) {
+               ppc_md.init_IRQ = ehv_pic_init;
+               ppc_md.get_irq = ehv_pic_get_irq;
+               ppc_md.restart = fsl_hv_restart;
+               ppc_md.power_off = fsl_hv_halt;
+               ppc_md.halt = fsl_hv_halt;
+               return 1;
+       }
+
+       return 0;
 }
 
 define_machine(p4080_ds) {
 
 #include <linux/of_platform.h>
 #include <sysdev/fsl_soc.h>
 #include <sysdev/fsl_pci.h>
+#include <asm/ehv_pic.h>
 
 #include "corenet_ds.h"
 
 {
        unsigned long root = of_get_flat_dt_root();
 
-       return of_flat_dt_is_compatible(root, "fsl,P5020DS");
+       if (of_flat_dt_is_compatible(root, "fsl,P5020DS"))
+               return 1;
+
+       /* Check if we're running under the Freescale hypervisor */
+       if (of_flat_dt_is_compatible(root, "fsl,P5020DS-hv")) {
+               ppc_md.init_IRQ = ehv_pic_init;
+               ppc_md.get_irq = ehv_pic_get_irq;
+               ppc_md.restart = fsl_hv_restart;
+               ppc_md.power_off = fsl_hv_halt;
+               ppc_md.halt = fsl_hv_halt;
+               return 1;
+       }
+
+       return 0;
 }
 
 define_machine(p5020_ds) {