Задачу можно описать покороче. Создание операционки для кпк.
Как вы считаете подойдет ли AT91RM9200-EK? Он несколько выходит из моего бюджета в 500 - 700 баксов.(что можно найти на эти деньги?) Правда, мне кажется что для данной задачи лучше подойдет AT91SAM9261(есть встроенный контроллер ЖКИ), но DK на нем я не нашел.
И еще... Где можно почитать про Boot ROM? Что это такое и как с ним управиться? Очень интересно...