Footnotes
... etc.),1
Embarrassingly, the only architecture currently supported is the PentiumIV. However, adding new architectures is not a very difficult task, but requires a thorough reading of the relevant chapter in [5]. We would be glad to assist anyone willing to undertake such a task...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.