"Guillaume Dargaud" <use_the_form_on_my_contact_p...@www.gdargaud.ne t>
wrote:
>
> Does this seem normal ? I find having both rootfs and /dev/root mounted on/
> weird... It's a minimalist embedded linux system.

I've seen it but it seemed strange to me. Have not yet
had time to look up version differences and why a
"rootfs" type filesystem appears as an extra mount on
a few systems I support.

> # df
> Filesystem * * * * * * * *Size * * *Used Available Use% Mounted on
> rootfs * * * * * * * * *394.6M * * *7.9M * *386.7M * 2% /
> /dev/root * * * * * * * 394.6M * * *7.9M * *386.7M* 2% /
...
> # mount
> rootfs on / type rootfs (rw)
> /dev/root on / type ext2 (rw)
...
> # cat /etc/fstab
> /dev/root * * * / * * * * * * *ext2 * * rw,noauto * * * * 0 * * *1
...