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
nix-...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
