Similar guide to write a small kernel https://news.ycombinator.com/item?id=7588205