| #
b91ee8e4 |
|
25-May-2018 |
Michael Sproul <michael.sproul@data61.csiro.au> |
x64: spec+ainvs+refine: add machine ops for nativeThreadUsingFPU and switchFpuOwner
|
| #
0b978bae |
|
06-May-2018 |
Michael Sproul <michael.sproul@data61.csiro.au> |
x64: spec: changes for IRQ invocations (VER-879)
|
| #
f649240c |
|
03-Apr-2018 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
x64: CR3 and machine op updates for Meltdown
|
| #
178b95a6 |
|
22-Mar-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: haskell: fix broken caseconvs; use generic ptTranslationBits
|
| #
1a129267 |
|
20-Mar-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: use generic VMMapType from haskell rather than redefine in abstract
|
| #
f846fd89 |
|
15-Mar-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: design: translated haskell spec now builds
|
| #
53299592 |
|
14-Mar-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: got haskell translator running on existing haskell kernel
|
| #
73b73156 |
|
05-May-2016 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: add arch_split'd x64 spec with IOMMU stuff
|