From d5950cb49912d4969fd0c9298cff96b96ba808ee Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sat, 7 Apr 2018 18:50:40 +0100
Subject: [PATCH] readme: benchmark initial build is on p51

---
 README.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.adoc b/README.adoc
index 5d4acf1..cc30b5b 100644
--- a/README.adoc
+++ b/README.adoc
@@ -3839,7 +3839,7 @@ One methodology problem is that some gem5 and QEMU were run with different kerne
 
 The build times are calculated after doing `./configure` and link:https://buildroot.org/downloads/manual/manual.html#_offline_builds[`make source`], which downloads the sources, and basically benchmarks the Internet.
 
-Build time at 2c12b21b304178a81c9912817b782ead0286d282: 28 minutes, 15 with full ccache hits. Breakdown: 19% GCC, 13% Linux kernel, 7% uclibc, 6% host-python, 5% host-qemu, 5% host-gdb, 2% host-binutils
+Build time on <<p51>> at 2c12b21b304178a81c9912817b782ead0286d282: 28 minutes, 15 with full ccache hits. Breakdown: 19% GCC, 13% Linux kernel, 7% uclibc, 6% host-python, 5% host-qemu, 5% host-gdb, 2% host-binutils
 
 Single file change on `./build kernel_module-reconfigure`: 7 seconds.