On 2020/06/01 8:44, Christos Zoulas wrote:
Still, DDB kill command at least is broken.That has been broken for a long time for different reasons.
Thanks. DDB is something like a tightrope walking, and I can imagine it is difficult to implement commands like "kill" consistently with other parts of kernel... Thanks, rin