From 6a17c511313d302757020a9bea64b6a1b7531a15 Mon Sep 17 00:00:00 2001 From: Ciro Santilli Date: Sun, 29 Oct 2017 02:14:55 +0000 Subject: [PATCH] Link to record and replay attempt --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) 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)