Specify required memory type / caching behavior for map_physical_region #258
Description
I'm guessing Write-Back should be okay (and preferred, because it is the most performant), but I'm not 100% sure. Am I right? Either way, can the requirements for this be mentioned in the docs for map_physical_region?
Also I am assuming the memory protection needs to be readable, and should be not writable and not executable. Can this also be added to the docs?