Peter Goodman

We'll need to add support for the mask registers to Remill's wrapper around XED's decoder. docs/XED/xed.txt is rather old, it should be updated.

The xed.txt file is produced from XED's xed-tables.c file, or tables.c file. I recall that I manually had to build the xed-tables.c file from XED's repo... it was a long...

It looks to me like the XED version we use is the master branch at the time of producing artifacts. I will look into triggering the workflows to do a...

Can you show us what `cmake` command you're running to configure remill?

I'm not sure what's going on here. Have you had any luck on solving this?

No, that is for AArch32. Completely different encoding.

Some of the semantics may bear some similarity, though.

@surovic Remill already has similar functions to move code between modules.

@recvfrom If you could generate the instructions, then you might be able to reasonably test them with [microx](https://github.com/trailofbits/microx) :-D

> Microsoft's Vcpkg contains _cmake overlays_ for over one thousand libraries [1]: It seems like an obvious system to support so I'm also thinking about making a xed Vcpkg description...