Hi Andrew,
Andrew Cooper <andrew.coop...@citrix.com> writes: > On 19/11/2024 3:16 pm, Volodymyr Babchuk wrote: >>> On Thu, 14 Nov 2024, Volodymyr Babchuk wrote: >> As for test harness, I am using Zephyr currently. My first intention was >> to use XTF, but it is x86-only... I am still considering using XTF for >> x86 runs. > > I need to get back to fixing this. > > My in-progress ARM (and RISC-V) branch can make a prink() (console IO > hypercall) and clean shutdown (schedop). If you can share your branch, I'll try to use it as a test harness. Also, it came to my attention that there is XTF with ARM support, hosted on gitlab ([1]). As for the licensing, you are right LibAFL is dual licensed, so we can use MIT. I re-checked header files ([2]) which I used as a base. They have no SPDX identifier, so I believe it it safe to use the clause from the main README.md file ([3]). [1] https://gitlab.com/xen-project/fusa/xtf/-/commits/xtf-arm?ref_type=heads [2] https://github.com/AFLplusplus/LibAFL/tree/main/libafl_qemu/runtime [3] https://github.com/AFLplusplus/LibAFL/blob/main/README.md -- WBR, Volodymyr
