Specifications.

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

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