Original writeup (https://www.nilsand.re/ctf/writeup/2020/05/31/castorsCTF20.html#father-taurus-kernel-import-408-points-69-solves).