extension: comment added to isa

diff --git a/2_isa/isa.tex b/2_isa/isa.tex
index 85940cddd4d61ffa804ca741806ba9bb1e8fffc9..add27578cb98b4dd2a139808771e33627ffbabd0 100644 (file)
--- a/2_isa/isa.tex
+++ b/2_isa/isa.tex
@@ -43,4 +43,7 @@ When not stated otherwise the following instructions will not modify any flag.
 \section{Examples}
 \input{example}
 
+\section{Extension interface}
+\include{extension}
+
 \end{document}