The following reply was made to PR kern/36196; it has been noted by GNATS.

From: Nicolas Joly <njoly@pasteur.fr>
To: gnats-bugs@NetBSD.org
Cc: kern-bug-people@netbsd.org, gnats-admin@netbsd.org,
	netbsd-bugs@netbsd.org, mark@mcs.vuw.ac.nz
Subject: Re: kern/36196 (supervisor trap with linux df)
Date: Wed, 25 Apr 2007 00:11:35 +0200

 On Tue, Apr 24, 2007 at 09:50:02PM +0000, Mark Davies wrote:
 > The following reply was made to PR kern/36196; it has been noted by GNATS.
 > 
 > From: Mark Davies <mark@mcs.vuw.ac.nz>
 > To: gnats-bugs@netbsd.org
 > Cc: 
 > Subject: Re: kern/36196 (supervisor trap with linux df)
 > Date: Wed, 25 Apr 2007 09:49:01 +1200
 > 
 >  On Tuesday 24 April 2007, Nicolas Joly wrote:
 >  >  >  I tried current and it didn't crash but it also didn't work,
 >  >  > just printed out:
 >  >  >
 >  >  >  /emul/linux/bin/df: cannot read table of mounted file systems:
 >  >  > No such file or directory
 >  >  >
 >  >  >  Presumably something to do with the /emul namei changes.
 >  
 >  >  No. df require `/emul/linux/proc' to be mounted, because of
 >  >  `/emul/linux/etc/mtab'.
 >  
 >  I have /proc mounted with the linux option and /emul/linux/etc/mtab is 
 >  a symlink pointing at "/proc/mounts".  This used to work before the 
 >  namei changes and clearly doesn't now.  Is that a bug in the changes 
 >  or do I _have_ to mount proc twice now.  What other situations will 
 >  this hit?
 
 I spoke a little too soon ... I do see the problem with your case,
 mine does not.
 
 Old:
  21221      1 df       CALL  open(0x8050472,0,0x1b6)
  21221      1 df       NAMI  "/emul/linux/etc/mtab"
  21221      1 df       NAMI  "/emul/linux"
  21221      1 df       NAMI  "/emul/linux/etc/mtab"
  21221      1 df       RET   open 3
 
 New:
   1372      1 df       CALL  open(0x8050472,0,0x1b6)
   1372      1 df       NAMI  "/etc/mtab"
   1372      1 df       NAMI  "/etc/mtab"
   1372      1 df       RET   open -1 errno -2 No such file or directory
 
 -- 
 Nicolas Joly
 
 Biological Software and Databanks.
 Institut Pasteur, Paris.