[farroyo@os userprog]$ ./nachos -x ../test/halt
Machine halting!

Ticks: total 442, idle 0, system 430, user 12
Disk I/O: reads 0, writes 0
Console I/O: reads 0, writes 0
Paging: faults 0
Network I/O: packets received 0, sent 0

Cleaning up...