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). ~Andrew