[User-mode-linux-devel] Another bug bites the big one

[Jeff D. <jd...@ka...>]

I fixed the reboot bug.  It's checked into CVS.  It's also available from the 
project patch manager.

				Jeff