ARM, RISC-V контроллеры

Ответ: В том-то и дело, что нет. Это старые файлы, видимо еще самой первой редакции. У себя на сайте ARM их видимо прибил. Потому и спрашиваю в конфе, в надежде, что у кого-то с древних времен (точнее с прошлого века) завалялись. Там кое какие моменты более подробно описаны, чем в последующих редакциях.