From f70eec9c3960205358af76dc195b605c888201e9 Mon Sep 17 00:00:00 2001
From: Krste Asanovic <krste@eecs.berkeley.edu>
Date: Mon, 30 Jul 2018 00:15:23 -0700
Subject: clarification

---
 src/machine.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/machine.tex')

diff --git a/src/machine.tex b/src/machine.tex
index 5390879..34b3b3d 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2233,7 +2233,7 @@ Most systems will require that at least some PMAs are dynamically
 checked in hardware later in the execution pipeline after the physical
 address is known, as some operations will not be supported at all
 physical memory addresses, and some operations require knowing the
-current setting of a configurable PMA attribute.  While many other systems
+current setting of a configurable PMA attribute.  While many other architectures
 specify some PMAs in the virtual memory page tables and use the TLB to
 inform the pipeline of these properties, this approach injects platform-specific
 information into a virtualized layer and can cause system errors
-- 
cgit v1.1

