Hello, I have a feature request to rump_server.
I want to output kernel logs of a rump_server into a file. I know we can get kernel logs with rump_server -s -v, but it doesn't satisfy my requirement; I sometimes want to get kernel logs from a detached rump_server, for example, when I debug a kernel using ATF tests. Using gdb is another way to get kernel logs (suggested by pooka), but it is difficult to cooperate with ATF tests. I imagine something like rump_server -L <file> option for specifying an output file. In an ATF test, we launch a rump_server with the option and at the cleanup phase of ATF, we get kernel logs from the file by simply catting the file or somehow. How about the feature? If there is another way to do what I want to do, please let me know. Thanks, ozaki-r
