sel4bench icon indicating copy to clipboard operation
sel4bench copied to clipboard

Published 20 hours ago • verified publisher icon seL4

How can print log in a process spanwed by benchmark_spawn_process

Open mincheolsung opened this issue 2 years ago • 0 comments

Hi,

Is there any way to print log message in a process created by benchmark_spawn_process? I tried ZF_LOG, benchmark_write, print but none of them worked.

mincheolsung avatar Dec 24 '22 15:12 mincheolsung