[User-mode-linux-user] module name

[Seth V. O. <van...@tc...>]

This is a silly question but what is the module name used for the cvs
checkout?

Seth