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)
kern/linux/linux_system.cc:
    merged

--HG--
extra : convert_revision : 81ef6a46f76968985f44c72f296a79ea77e73d12


Trivial merge