Чтение REVID дает 0x4E840102

а пинмукс читается как 0

Попробуйте теперь прочитать DEVIDR0.

Кстати, SYSCFG0_KICK0R тоже 0

DEVIDR0 = 0x1B7D102F

Странно как-то. В каком режиме процессор (регистр CPSR)?

Такого регистра не наблюдаю в документации вообще

Это регистр процессора, из серии R0, R1 и т.п.

В регистре R0 содержится адрес зинмукса вроде 0x01C14124.

В режиме дебага вручную правлю регистр пинмукс1 - и запускаю прогу, диод начинает моргать.

Здесь имелось в виду, где смотреть. Нужно знать именно значение CPSR.

0x200000D0

Есть подозрение, что надо как-то перевести проц в режим supervisor-а, иначе регистры kick и иже с ними не пишутся походу.

Типа чё типа как надо сделать?

Понятно: процессор в user mode, поэтому и доступа к SYSCFG нет. Надо шерстить стартап StarterWare на предмет выставления режима.

Exception по Reset-у как раз в режиме супервизора.
Надо как-то сделать ему обработчик, где и буду все эти регистры инициализировать.

Как вариант?

или даже Software interrupt, но не знаю как это сделать на сях.

Так он уже есть, надо только модифицировать на предмет отмены перевода в user.

Ух ты. Где это сделать?

Тоже интересно, не поделится ли кто примером как попасть в режим супервизора?

Вариантов два:
- не попадать в режим юзера
- SWI

Нужно изучать/модифицировать исходники. Тут не помогу, т.к. у меня их нет.
А вообще, запускаем поиск по "msr" - и вперед.