mon_cpuinfo takes a decimal
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 4 Feb 2010 01:21:34 +0000 (17:21 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 4 Feb 2010 01:22:17 +0000 (17:22 -0800)
commitee060e59b1104ff8efb2ad830c940c434c2c0b36
tree700788a0ce593880253d87d44c5fc9367483dd37
parent76e9565711e81931693b5bcce3c6d57f5e17bdc4
mon_cpuinfo takes a decimal

Instead of hex.
kern/src/monitor.c