#ifndef __PK_PORT_H__
#define __PK_PORT_H__
//-----------------------------------------------------------------------------
// *! (C) Copyright International Business Machines Corp. 2014
// *! All Rights Reserved -- Property of IBM
// *! *** IBM Confidential ***
//-----------------------------------------------------------------------------

/// \file pk_port.h
/// \brief The top-level standard PPE environment header for PK.

#define HWMACRO_STD

#include "ppe42.h"
#include "std_timebase.h"

#endif /* __PK_PORT_H__ */