| #
f649240c |
|
03-Apr-2018 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
x64: CR3 and machine op updates for Meltdown
|
| #
a3de401c |
|
03-Apr-2018 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
x64: more abstract specs and invariants for ASIDs
|
| #
8c549b67 |
|
10-Aug-2017 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
x64: remove all trailing whitespace
|
| #
28c13ef7 |
|
22-Mar-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: abstract: update error bits used in lookup_pt_slot et al
|
| #
f8dadc16 |
|
24-Jan-2017 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
x64: fix ArchRetype_AI
- Port from ARM to X64:
- Definitions and lemmas relating to copy_global_mappings.
- Device untyped patch.
- Pre-emptible retype patch.
Includes some fixes to ArchVSpace_AI and ArchVSpaceAcc_A.
There is one "sorry" in ArchRetype_AI which is waiting for a refactoring
of ArchAcc_AI and ArchVSpace_AI for simpler proofs concerning vs_lookup,
store_pml4e, etc.
|
| #
68de1729 |
|
25-Jul-2016 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: spec: replaced magic numbers with word_size_bits
|
| #
574e287c |
|
25-Jul-2016 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: spec: reverted bits changes from last commit, was originally correct
|
| #
d0d10fa7 |
|
21-Jul-2016 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: fixed magic word length number in ArchVSpaceAcc_A
|
| #
1bc374fb |
|
12-May-2016 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64 invs: up to vs_refs_pages
|
| #
73b73156 |
|
05-May-2016 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: add arch_split'd x64 spec with IOMMU stuff
|