Hi,

So as the title says I am bit stuck on how to debug a UOS efficiently.

I could not find a way to get a gdb server available for the
UOS, besides for linux which requires to be built with kgdb support if
I understood well(?).

But I am running zephyr as UOS.
And using only printk() is a no go, not because it's the poor man's
solution but because when the vm crashes, I will not be able to stop it
with acrn-dm (even with -f). The only way to recover is to reboot the
entire setup (acrn runs on up squared). It takes then a lot of time,
too much time in fact.

What would be a better method?

Br,

Tomasz