From 5d41b3ba67b32b21bfcc93fee58a6d32bbcfe452 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?= =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= Date: Thu, 7 May 2020 05:00:04 +0000 Subject: [PATCH] gem5.debug: a bit more gem5 specific info in section --- README.adoc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.adoc b/README.adoc index 34eca4b..bc5db46 100644 --- a/README.adoc +++ b/README.adoc @@ -12768,7 +12768,11 @@ In order to use different build options, you might also want to use <