User`s manual

High Performance Low Cost Embedded Systems
(6) Go to “Platform” -> “SDK” -> “Configure SDK…” and a setup window will pop up. The
user can set up more configurations here. Click on the “CPU” tab and the following window will
come up:
(7) Click on the “Edit” button, the window shown below will appear, check the “Samsung
smdk2440: ARMV4I_Release” option:
Copy right reserved © MicroArm Systems, Inc. 1612 2
nd
Ave. SW PMB#108, Cullman, AL 35055 - 169 -
Website : www.microarmsystems.com Email: service@microarmsystems.com Phone: 1-888-417-9266