Use Linux kernel trick of giving an .lds file a .S extension to get it
[pintos-anon] / src / userprog / Makefile
2004-08-26 Ben PfaffStart work on program loading.