On 20/07/17 13:04, Punit Agrawal wrote: > On systems that are not booted as a Xen domain, the xenfs driver prints > the following message during boot. > > [ 3.460595] xenfs: not registering filesystem on non-xen platform > > As the user chose not to boot a Xen domain, this message does not > provide useful information. Drop this message. > > Signed-off-by: Punit Agrawal <punit.agra...@arm.com> > Cc: Boris Ostrovsky <boris.ostrov...@oracle.com> > Cc: Juergen Gross <jgr...@suse.com>
Committed to: xen/tip.git for-linus-4.13b Thanks, Juergen
