Juergen Gross <[email protected]> writes: > On 21/07/17 12:12, Punit Agrawal wrote: >> Boris Ostrovsky <[email protected]> writes: >> >>> On 07/20/2017 07:04 AM, 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 <[email protected]> >>>> Cc: Boris Ostrovsky <[email protected]> >>>> Cc: Juergen Gross <[email protected]> >>> >>> Reviewed-by: Boris Ostrovsky <[email protected]> >> >> Thanks Boris. >> >> Juergen, I assume you'll pick this up for the next round of xen >> updates. > > Yes, probably for rc3 or rc4. For rc2 it was a liitle bit late and > there is no need to hurry.
Agreed! Thanks for confirming.

