manual merge of linux_system and makefile
authorAli Saidi <saidi@eecs.umich.edu>
Fri, 14 May 2004 21:39:32 +0000 (17:39 -0400)
committerAli Saidi <saidi@eecs.umich.edu>
Fri, 14 May 2004 21:39:32 +0000 (17:39 -0400)
commitaa14ee48649e4c885e4be9b2e6e40911d1ec3d17
treeeab2e62a560a915e1bc71118c2ec814cef307b56
parentab9415a2bd608246501b33f5670d2a3ecc746dde
parentfd21387149c272b8aaee62466fe96863f3ef458f
manual merge of linux_system and makefile

kern/linux/linux_system.cc:
    merged

--HG--
extra : convert_revision : 81ef6a46f76968985f44c72f296a79ea77e73d12