Implement a convertor from ARM Machine-Readable Architecture Specification to KS
I have tried to implement a spec for armv7 and has failed. Not that it is impossible to do, but is too much of manual work. The info is scattered over 2 PDFs, one is the older one, but more clear, another one is more complete and new, but very inconvenient to use. We still have to figure out what to do with it. I guess the best way is to create a partial machine-readable spec to it.

For ARM v8 (aarch32 and aarch64) ARM has released machine-readable specs, that contain the info enough to create a simulator of the architecture.

Here is the page with the most of needed info on them: https://alastairreid.github.io/ARM-v8a-xml-release/

I guess it may make sense to write a convertor into KS from them.

The very straightforward approach is to generate a set of rules directly from the spec. Not a good and efficient one, but really the easiest, since the data is in the form of kind of rules.

A better one may be [to convert the rules into decision trees](https://www.google.com/search?q=rules+to+decision+tree+conversion). Though there is no guarantee that the trees generated that way would be human-meaningful (the older PDF for armv7 looked somehow (though not very) meaningful as a tree, but in the newer one looked much less meaningful).

Also some machine-readable specs (of another format) were published for RISC V, so the machinery may be useful for that too.