Add support for ARM
skyleaworlder opened this issue · comments
Is your feature request related to a problem? Please describe.
No. I just want to run klee on arm64.
Describe the solution you'd like
I just a newbee in system programming. Sorry I don't know how to add this feature.
I added this to our list of suggestions in https://github.com/klee/klee/projects/2, but we don't have any immediate plans to implement this.