On Tue, Apr 24, 2007 at 05:25:02AM +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: Tue, 24 Apr 2007 17:21:05 +1200
> 
>  On Tue, 24 Apr 2007, christos@netbsd.org wrote:
>  > I think I fixed it, can you try with current?
>  
>  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'.

njoly@cixy [~]> ls -l /emul/linux/etc/mtab 
lrwxr-xr-x  1 root  wheel  31 Mar 31 04:10 /emul/linux/etc/mtab -> ../../../emul/linux/proc/mounts
njoly@cixy [~]> /emul/linux/bin/df 
/emul/linux/bin/df: cannot read table of mounted file systems: No such file or directory
njoly@cixy [~]> sudo mount_procfs -o linux procfs /emul/linux/proc 
mount_procfs: "/emul/linux/proc" is a relative path.
mount_procfs: using "/usr/pkg/emul/linux/proc" instead.
njoly@cixy [~]> /emul/linux/bin/df | head                         
Filesystem           1K-blocks      Used Available Use% Mounted on
/dev/wd1a              4066576     92360   3770888   3% /
/dev/wd1f              4066104   1251536   2611256  33% /var
/dev/wd1e              4066104   1251536   2611256  33% /usr
/dev/wd1g              4066104   3184640    678160  83% /home
/dev/wd1h             20330616   6781232  12532856  36% /local
/dev/wd1i             20330616    166392  19147696   1% /local/gensoft
/dev/wd1j             14770248   4436960   9594776  32% /misc
kernfs                       1         1         0 100% /kern
/dev/wd0e             10485688   9505900    979788  91% /mount/windows/C

-- 
Nicolas Joly

Biological Software and Databanks.
Institut Pasteur, Paris.