projects / pintos-anon / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
Make Pintos able to build with "gcc -m32" on x86-64 hosts without the
-rw-r--r-- 1390 AUTHORS blob | history | raw
-rw-r--r-- 4621 LICENSE blob | history | raw
-rw-r--r-- 244 Makefile blob | history | raw
drwxr-xr-x - doc tree | history
drwxr-xr-x - specs tree | history
drwxr-xr-x - src tree | history
drwxr-xr-x - tests tree | history
Pintos public repository