i saw the kernel written in c :wink: