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

Reply via email to