| #
dac7a00e |
|
26-Aug-2018 |
Ilya Yanok <ilya.yanok@gmail.com> |
haskell: explicitly import Prelude hiding Word
everywhere where it can clash with Word type defined by SEL4.
|
| #
2b8a2ebf |
|
05-Nov-2017 |
Corey Lewis <corey.lewis@data61.csiro.au> |
spec: add SetTLSBase invocation and update the registers (VER-807)
|
| #
d9c08fc7 |
|
12-Feb-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
aspec/haskell/machine: refactor user_context interface
- remove separate abstract set_/get_register implementation, directly use machine op
- make interface aware that user_context does not always need to equal
(register => machine_word)
- introduce FPU state on x64
|
| #
f05bc45d |
|
10-Aug-2017 |
Joel Beeren <Joel.Beeren@data61.csiro.au> |
misc: clean up before merging x64
|
| #
637f13b9 |
|
13-Mar-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: fix haskell Makefile, get haskell building without VT-d stuff
|
| #
52092135 |
|
06-Feb-2017 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
provide TCB argument for sanitiseRegister
Other platforms such as arm-hyp will need to look into additional TCB state
such as VCPU in sanitiseRegister. This commit provides the scaffolding for
that.
|
| #
a2d707d1 |
|
14-Aug-2016 |
Miki Tanaka <miki.tanaka@nicta.com.au> |
SELFOUR-553: update rpidrurw in TCBConfigure for simpler Infoflow proofs.
|
| #
ebc7cbe5 |
|
23-May-2016 |
Japheth Lim <Japheth.Lim@nicta.com.au> |
haskell: move Haskell kernel into spec/
|