BakerSFIeld : Bringing software fault isolation to x 64
Safe kernel extensions without run-time checking