From f70eec9c3960205358af76dc195b605c888201e9 Mon Sep 17 00:00:00 2001 From: Krste Asanovic 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