Would there be any interest in having GNU Mach and Hurd move way from /dev into having a kernel-provided translator that exports kernel symbols including devices?