Add i86pc to unames detected as x86 (used by Solaris).
[pintos-anon] / src / userprog / Makefile
1 include ../Makefile.kernel