diff --git a/record-and-replay.md b/record-and-replay.md index 0f2d801..ace4339 100644 --- a/record-and-replay.md +++ b/record-and-replay.md @@ -3,3 +3,5 @@ QEMU supports deterministic record and replay by saving external inputs, which would be awesome to understand the kernel, as you would be able to examine a single run as many times as you would like. Unfortunately it is not working in the current QEMU: + +Alternatively, [`mozilla/rr`](https://github.com/mozilla/rr) claims it is able to run QEMU: but using it would require you to step through QEMU code itself. Likely doable, but do you really want to?