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)
--HG--
extra : convert_revision : 13bd8234e8472bf693583f9b4090746cb57d55ae


No differences found