https://dingxiong.github.io/posts/linux-getting-started/