Specifications.

[pintos-anon] / specs / ia32-v2b.pdf

diff --git a/specs/ia32-v2b.pdf b/specs/ia32-v2b.pdf
new file mode 100644 (file)
index 0000000..0861eb1
Binary files /dev/null and b/specs/ia32-v2b.pdf differ