/*
 * Copyright (c) 2012-2013 Apple Inc. All rights reserved.
 */

#ifndef _PEXPERT_ARM_TYPHOON_H
#define _PEXPERT_ARM_TYPHOON_H

#define MONITOR			1 /* Use EL3 monitor */
#define NO_ECORE		1
#define HAS_32BIT_DBGWRAP	1

#ifdef APPLETYPHOON
#include "arm64_common.h"
#endif

#endif /* ! _PEXPERT_ARM_TYPHOON_H */
