K 10 svn:author V 6 marcel K 8 svn:date V 27 2014-03-04T03:19:36.217079Z K 7 svn:log V 256 When reading physical memory, make sure to access it using the right memory attributes. The same applies to the mmap(2) interface. Not doing so results in machine checks. We find the memory attributes in the EFI memory map, as queried by mem_phys2virt(). END