Fix binary path in configs/kernel/base.ini.
authorSteve Reinhardt <stever@eecs.umich.edu>
Mon, 22 Dec 2003 16:47:55 +0000 (08:47 -0800)
committerSteve Reinhardt <stever@eecs.umich.edu>
Mon, 22 Dec 2003 16:47:55 +0000 (08:47 -0800)
commitc3ba166e65b0f2c0ac4a92fedddd86d071e21640
tree63c8119c8faefeb7cf33ea8ce11c69d4e9a85512
parentecd3ecb4f55b64b55fb91722f913131f018a4996
Fix binary path in configs/kernel/base.ini.

--HG--
extra : convert_revision : 13bd8234e8472bf693583f9b4090746cb57d55ae