(no commit message)

diff --git a/docs/pypowersim.mdwn b/docs/pypowersim.mdwn
index 4e9b3869502b319d61eb03bb29ca5973c4e90f7a..32e659115bd2a09f0cdce19e86c52ec823e19bf0 100644 (file)
--- a/docs/pypowersim.mdwn
+++ b/docs/pypowersim.mdwn
@@ -4,6 +4,7 @@
 * [Pypowersim](https://git.libre-soc.org/?p=openpower-isa.git;a=blob;f=src/openpower/decoder/isa/pypowersim.py)
 * [Media directory](https://git.libre-soc.org/?p=openpower-isa.git;a=tree;f=media;hb=HEAD)
 * [MP3 test directory](https://git.libre-soc.org/?p=openpower-isa.git;a=tree;f=media/audio/mp3;hb=HEAD)
+* [Machine-readable executable Power ISA 3.0 pseudocode](https://git.libre-soc.org/?p=openpower-isa.git;a=tree;f=openpower/isa;hb=HEAD)
 
 # Pypowersim Guide