Hi Triet, Ran v5 on RK3588 hardware (Orange Pi 5 Plus, all three cores), on a tree with PROVE_LOCKING and DEBUG_ATOMIC_SLEEP enabled: 30 sequential client cycles (open/submit/close), 10 pairs of concurrent clients, and a round across runtime suspend/resume - 45/45 inferences bit-correct against the reference, zero warnings of any kind, cores returning to runtime-suspended cleanly.
One honest limit: this exercises the success paths your checks guard; the allocation-failure branches themselves I reviewed but did not fault-inject. Tested-by: Igor Paunovic <[email protected]> # RK3588, functional, # no fault injection Regards, Igor
