| #
0182d5e0 |
|
19-Sep-2019 |
Qian Ge <qian.ge@data61.csiro.au> |
sperating tx2_smmu from arm_smmu
Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
|
| #
adcad680 |
|
05-Dec-2018 |
Yanyan Shen <yanyan.shen@data61.csiro.au> |
sel4vka: Lift the Arm VCPU object to arch level.
|
| #
135c651f |
|
27-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
pragma once and for all
|
| #
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
9e3c8e27 |
|
23-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
libsel4vka: Add aarch64 support
|
| #
b578b9e7 |
|
22-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
Prepare for aarch64 implementation
|
| #
1a097620 |
|
30-Sep-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
trivial: remove hardcoded constants
|
| #
f7c764ee |
|
28-May-2016 |
Yanyan Shen <yanyan.shen@nicta.com.au> |
arm/libsel4vka: add CONFIG_ARM_SMMU guards.
|
| #
29ce3b8a |
|
27-May-2016 |
Yanyan Shen <yanyan.shen@nicta.com.au> |
libsel4vka: add ARM IO page table allocation
|
| #
7fa84ad7 |
|
30-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4vka: Refactor object and kobject definitions
Primarily this change allows x86 object and kobject definitions to be
futher abstracted by the current sel4_arch. To achieve this some
additional arch abstractions are done, resulting in minor changes
to the arm definitions.
In the process various cleanup to remove #ifdef blocks has also
been done.
|