/***********************************************************************
*
*             Copyright 2011 Mentor Graphics Corporation
*                         All Rights Reserved.
*
* THIS WORK CONTAINS TRADE SECRET AND PROPRIETARY INFORMATION WHICH IS
* THE PROPERTY OF MENTOR GRAPHICS CORPORATION OR ITS LICENSORS AND IS
* SUBJECT TO LICENSE TERMS.
*
************************************************************************

************************************************************************
*
*   FILE NAME
*
*       arch.h
*
*   DESCRIPTION
*
*       This file is a wrapper header file that includes all the necessary
*       header files for the given architecture
*
*   DATA STRUCTURES
*
*       None
*
*   DEPENDENCIES
*
*       None
*
***********************************************************************/

#ifndef ARCH_H
#define ARCH_H

/* Include configuration header file */
#include    "nucleus_gen_cfg.h"

/* Include PPC common header files */
#include    "ppc_debug_defs.h"
#include    "ppc_defs.h"

#if (CFG_NU_OS_ARCH_PPC_COM_MMU_VARIANT == 4)
#include    "ppc_mmu_e500_defs.h"
#endif /* (CFG_NU_OS_ARCH_PPC_COM_MMU_VARIANT == PPC_MMU_E500_VARIANT) */

#if (CFG_NU_OS_ARCH_PPC_COM_MMU_VARIANT == 3)
#include    "ppc_mmu_e300_defs.h"
#endif /* (CFG_NU_OS_ARCH_PPC_COM_MMU_VARIANT == PPC_MMU_E300_VARIANT) */

#endif  /* ARCH_H */
