diff --git a/README.md b/README.md index dcf4149..eda1fb4 100644 --- a/README.md +++ b/README.md @@ -806,6 +806,12 @@ Possible improvements: - Confirm that the kernel enters at `0x1000000`, or where it enters. Once we have this, we can exclude what comes before in the BIOS. +### Record and replay + +Since we are already playing with `-icount`, we might as well try the potentially awesome deterministic record and replay feature. + +Unfortunately it is not working in the current QEMU: + ## Table of contents 1. [Introduction](introduction.md)