Recent work

[libresoc-isa-manual.git] / powerpc-add / src / power-spec.tex

diff --git a/powerpc-add/src/power-spec.tex b/powerpc-add/src/power-spec.tex
index 9476f363fa4f4531d9fed82aa5c4bcc260c312e2..86514f48a39adcebbc879952686a008da1187e20 100644 (file)
--- a/powerpc-add/src/power-spec.tex
+++ b/powerpc-add/src/power-spec.tex
@@ -54,6 +54,11 @@ Alain Williams, Libre-SOC, \specmonthyear.
 
 \input{intro}
 \input{isamux}
+\input{atomics}
+\input{varenc}
+\input{isa_op_protocol}
+% https://bugs.libre-soc.org/show_bug.cgi?id=238
+\input{fp16}
 
 % \input{rv32}
 % \input{zifencei}