Ask HN: Resources to get started writing user space over a (linux) kernel? | Hacker News Reader