Rename xmalloc() as malloc_or_panic(),
[pintos-anon] / specs / partitions /
2005-01-29 Ben PfaffAdd partition specification files.