#ifndef __CENK_H__

// this include file includes all nescesary headers from the platform sdk

// nkarm.h : defines KData -> 0xffffc800

#if _WIN32_WCE==300
#define SA1100
// this is defined in pb300\nkarm.h and ppc2003\winbase.h
#undef InterlockedTestExchange
#elif _WIN32_WCE==420

#ifndef ARMV4
#define ARMV4
#endif

#endif

#include "types.h"
#include "pehdr.h"
#include "pkfuncs.h"
#include "kernel.h"
#include "schedule.h"
#include "psyscall.h"

#if _WIN32_WCE<500
#include "device420.h"
#else
#include "device420.h"
// actually should include c:\local\WINCE500\PRIVATE\WINCEOS\COREOS\DEVICE\INC\devmgrp.h
#endif
#if _WIN32_WCE<400
typedef int PGPOOL_Q;
#define INVALID_PHYSICAL_ADDRESS 0xFFFFFFFF
#endif

#define __CENK_H__
#endif