Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 28c5fdd69cdad1ef4eeb4dceef48bd9ada5bd907 / libsel4vmm / include / vmm / processor / msr.h
  1. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  2. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  3. 01e07ca Change 1 << * to BIT(*) in some cases by Kent McLeod · 8 years ago
  4. 9214341 Fix licenses by Anna Lyons · 8 years ago
  5. 884addc sel4vmm: Modifications to host linux 4.7.2 by Stephen Sherratt · 8 years ago
  6. 1e147b3 Add 'libsel4vmm/' from commit 'f2ddd61dfdb8da944e85d2ef62cacf2b388f35fd' by Anna Lyons · 9 years ago