#
745291ce |
|
27-Nov-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert to SPDX license tags Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
#
06e840ef |
|
08-Jan-2020 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm: Remove init in x86 instr decoding As the instruction definitions in the x86 instruction decoding table are constant and in a static location we can define them directly in the decoding tables. This removes the need to call an initialisation function.
|
#
ab3699dc |
|
05-Jan-2020 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm: Refactoring of x86 instruction decoding This commit refactors the x86 instruction decoding in-order to make its implementation is more modular and easier to read and update. The key changes being:: * moving "magic" instruction value constants into enum definitions * initialisation of an instruction decoding table that associates a single op instruction with a decoding handler - simplifying the 'vm_decode_instruction' function
|
#
c69cd028 |
|
13-Dec-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
trivial: Style changed files
|
#
e1947740 |
|
22-Oct-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm: Removed uses of 'vmm' in x86 source Updated x86 source such that the naming convention used is to prefix/postfix with 'vm' rather than 'vmm'. This change makes the naming convention consistent as this library now represents a single 'vm' instance rather than a vmm.
|
#
3a36c854 |
|
21-Oct-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm: arch specific includes into arch subdir Moved the architecture specific headers, being unique header files that only exist for a given architecture, into an 'arch' subdirectory. Since this library can be used across architectures this avoids polluting the root libsel4vm namespace and adds further structure to distinguish different interfaces.
|
#
1283782d |
|
21-Oct-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm: x86 processor src as private interface Moved the x86 processor source and header into the x86 architecture subdirectory. This has been transformed into an private interface that only internal code can access. We choose to abstract over processor source. Updated the processor header includes to reflect this change.
|