/dev/root, what is it? | Hacker News Reader