Ваша ссылка явно говорит, что требования:
- Процессор: 32-разрядный процессор (x86, ARM, PowerPC)
- Память: 256 КБ ОЗУ (ядро <25 КБ) </li>
- Таймер: программируемый интервальный таймер
Поскольку ядро меньше 25 КБ, я думаю, оно, вероятно, будет работать; на этой звездной странице говорится, что чип имеет 96 КБ SRAM. В зависимости от требований вашего приложения, вы должны быть на гонках. Какие конкретные проблемы у вас возникают?