\HeadingLevelB{Hardware Modifications}
\label{sec:hardware_mods}

\input{text/sanctum/hardware/dram_regions.tex}

\input{text/sanctum/hardware/pmh_walker_input.tex}

\input{text/sanctum/hardware/pmh_walker.tex}

\input{text/sanctum/hardware/dma_master.tex}

%\HeadingLevelB{Hardware Extensions Summary}
%
%\input{contents/rvx_mods/summary.tex}
