Relevant resources

Linux kernel support for MPX

PLDI'09 and a PhD thesis that describes an LLVM based approach that supposedly inspired MPX

GCC support