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

diff --git a/specs/elf.pdf b/specs/elf.pdf
new file mode 100644
index 0000000..78711dc
Binary files /dev/null and b/specs/elf.pdf differ