diff --git a/docs/MANUAL.md b/docs/MANUAL.md
index 92bdcf4e..f06939f8 100644
--- a/docs/MANUAL.md
+++ b/docs/MANUAL.md
@@ -176,6 +176,24 @@ in the device tree. See device tree bindings documentation for the platform's
interrupt controller (e.g the GIC) or for the specific device you are trying to use.
Note that not all devices encode interrupts the same.
+## Passing through DMA devices
+
+Devices which communicate through DMA see the world through host physical
+addresses, however virtual machines will give devices guest physical addresses
+(i.e., host virtual addresses). In order for DMA passthrough to work, these two
+addresses must be aligned. This can be done by setting the `phys_addr` of the
+guest's RAM to be the same as its mapped virtual address.
+```xml
+
+
+
+
+
+
+
+
+```
+
# Adding platform support
This section will describe how to add support for a new platform to the `simple`