Futzing around with LLVM trying to implement compiler support for control-flow checking with software signatures (CFCSS) for the Fiasco micro-kernel. This is the topic of my "Großer Beleg" thesis in operating systems.