IBM Blue Gene/Q Linux Kernel --- See Wiki link for more details