On 01/24/2014 05:16 AM, Sree Harsha Totakura wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > > On 01/23/2014 08:56 PM, Mark H Weaver wrote: >> We should not inherit /dev from the host system at all, but rather >> create it from scratch with just the things we need. IMO, that's >> the only truly proper solution. > We can try creating a fixed set of device nodes, for example: > /dev/null, /dev/random, /dev/urandom, /dev/sda etc. Has anyone tried > this before?
Another option is to mount a devtmpfs there, for systems which support it. > Sree > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v1.4.12 (GNU/Linux) > Comment: Using GnuPG with Icedove - http://www.enigmail.net/ > > iEYEARECAAYFAlLiPZUACgkQO2+K8UPCHzvyuwCgpPH4ndRBqFkITqbPcQ1UN4Ws > JsYAniMrgj8mBvNMC7Jq1AkFv+bV/VUj > =DbCU > -----END PGP SIGNATURE----- > _______________________________________________ > nix-dev mailing list > [email protected] > http://lists.science.uu.nl/mailman/listinfo/nix-dev _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
