| #
f9094069 |
|
16-Jul-2019 |
Anna Lyons <anna@gh.st> |
utils/vka: update for aarch64 api change
Use seL4_ARM_VSpace* rather than seL4_ARM_PageGlobalDirectory*
|
| #
ac5006b8 |
|
14-Jan-2019 |
James Ye <james.ye@data61.csiro.au> |
libsel4vka: make invalid object type errors non-fatal
|
| #
db435f0d |
|
23-Nov-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix bug in vka_arm_mode_get_object_size on aarch64
- s/seL4_ARM_LargePageObject/seL4_ARM_HugePageObject
- s/seL4_PageBits/seL4_HugePageBits
|
| #
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
|