X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=specs%2Fia32-v2a.pdf;fp=specs%2Fia32-v2a.pdf;h=7c10b0d453109adddc4323699379e80ab3a59fb0;hp=0000000000000000000000000000000000000000;hb=8af06d1fd50343e17229618ef4d2693193b2b3d9;hpb=d0d14ca50fbac167253e1e1d8d806bfd749a5e8a

diff --git a/specs/ia32-v2a.pdf b/specs/ia32-v2a.pdf
new file mode 100644
index 0000000..7c10b0d
Binary files /dev/null and b/specs/ia32-v2a.pdf differ