projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b492098) | patch
Make Pintos able to build with "gcc -m32" on x86-64 hosts without the
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 5 Oct 2006 00:44:09 +0000 (00:44 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 5 Oct 2006 00:44:09 +0000 (00:44 +0000)
commitc4d3a0df42588f919931e786d398e418b6ce6179
treeba783305a55af60290c4bf9d495c6a7797c64004tree | snapshot
parentb492098dbb2bd50aef4104bcef418ba53f30a4ebcommit | diff
Make Pintos able to build with "gcc -m32" on x86-64 hosts without the
need for the host to have any 32-bit libraries (specifically, without
needing libgcc).
src/Make.config diff | blob | history
src/Makefile.build diff | blob | history
src/Makefile.userprog diff | blob | history
src/lib/arithmetic.c [new file with mode: 0644] blob
Pintos public repository