From 94fdb4e003eb326f1a0a2b1d0161b14baf90a44e Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Thu, 12 Apr 2018 13:41:19 +0100
Subject: [PATCH] kernel config: aarch64 CONFIG_8139CP for rtl8139 which is
 required for qemu record and replay

---
 kernel_config_fragment | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kernel_config_fragment b/kernel_config_fragment
index c16acaf..ab18502 100644
--- a/kernel_config_fragment
+++ b/kernel_config_fragment
@@ -211,3 +211,6 @@ CONFIG_PCI_HOST_GENERIC=y
 # Also requires gem5 aarch64 options.
 # Not needed for initrd / initramfs.
 CONFIG_VIRTIO_PCI=y
+
+# For record and replay.
+CONFIG_8139CP=y