On Sat, Jan 02, 2016 at 01:34:29PM -0800, Raymond Jennings wrote: > Actually I just read some stuff in the manual. > > Section 9.2 does give the boot process information on physical addresses > corresponding to physical frames of memory. > > I suppose this would do, and also seems to imply that lack of an IOMMU only > voids the assurance warranty. >
See also the GetAddress function on Page (both IA32 and ARM). I missed this earlier. -- cmr +16032392210 http://octayn.net/
signature.asc
Description: PGP signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
