| commit | d615cdbf21c0b8bbc2ab37695175438e9995b634 | [log] [tgz] |
|---|---|---|
| author | Wedson Almeida Filho <wedsonaf@google.com> | Tue Oct 09 13:00:21 2018 +0100 |
| committer | Wedson Almeida Filho <wedsonaf@google.com> | Wed Oct 24 15:37:54 2018 +0100 |
| tree | 7a0b60fc95847b5876abc126009f49f784d3e7c9 | |
| parent | 37402879072a5d320bb6d0642b02836ce486da64 [diff] |
Update assembly code to simplify verification. 1. Use sub & cbnz instead of subs & b.ne, so that we don't have to model the flags. 2. Always use the callstack explicitly, that is, always subtract from sp before writing data. 3. Remove two instructions from the vcpu_switch path. Change-Id: I04e05736e112ffc6b3c475ad79559069d8a0f4fd
Hafnium is a hypervisor, initially supporting aarch64 (64-bit ARMv8 CPUs).
Further details are available in the design doc.
Get in touch and keep up-to-date at g/hafnium-eng.
To jump in and build Hafnium, follow the getting started instructions.