No, nothing to do with Redox OS. It's instead the successor of Resea and HinaOS, which were written in C by the same author. He even wrote a book about microkernels featuring HinaOS. He also wrote a tutorial which was recently posted on HN: https://news.ycombinator.com/item?id=42631873