I am trying to write to the keyboard control register in the A400 chip.

#include <ceddk.h>

static volatile unsigned short *col_drv_reg = NULL;
PHYSICAL_ADDRESS phy_addr;

tmp = 0x80000e28;
phy_addr.LowPart = tmp;
phy_addr.HighPart = 0;

col_drv_reg = (volatile unsigned short *)MmMapIoSpace(phy_addr, sizeof(*col_drv_reg), FALSE);

*col_drv_reg = 0x1;

This is an application in EVC++. I have manually added a link to the ceddk.lib as C:\WINCE420\PLATFORM\LoCE_A400_rel_101\lib\ARMV4I\retail\ceddk.lib in the project settings.

Building results in the following error:

ceddk.lib(CEDDK.dll) : fatal error LNK1112: module machine type 'THUMB' conflicts with target machine type 'ARM'

I would like a suggestion on how to accomplish this hardware access. Is there anything to be done in platform builder to make sure the ceddk.lib is useful to the application?

Thank-you.