diff --git a/README.adoc b/README.adoc
index 6f30f8d..a5bf8fe 100644
--- a/README.adoc
+++ b/README.adoc
@@ -1520,6 +1520,8 @@ We have benchmarked a Linux kernel boot with:
 time ./run -a arm -e 'init=/poweroff.out'
 time ./run -a arm -e 'm5 exit' -g
 time ./run -a arm -e 'm5 exit' -g -- --caches --cpu-type=HPI
+time ./run -a x86_64 -e 'init=/poweroff.out'
+time ./run -a x86_64 -e 'init=/poweroff.out' -g
 ....
 
 and the results were:
@@ -1527,9 +1529,11 @@ and the results were:
 [options="header"]
 |===
 |Emulator |Time |N times slower than QEMU
-|QEMU |6 seconds |1
-|GEM5 AtomicSimpleCPU |1 minute 40 seconds| 17
-|GEM5 HPI |10 minutes |100
+|QEMU ARM |6 seconds |1
+|GEM5 ARM AtomicSimpleCPU |1 minute 40 seconds| 17
+|GEM5 ARM HPI |10 minutes |100
+|QEMU X86_64 |4 seconds |1
+|GEM5 X86_64 |11 minutes| 165
 |===
 
 on a Lenovo P51 laptop with: