| #
11e4ef23 |
|
21-Jul-2019 |
Anna Lyons <anna@gh.st> |
vspace: definitions for 40-bit PA
Add VSPACE_NUM_LEVELS for 40-bit PA.
|
| #
3aefef15 |
|
12-Dec-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
sel4utils: use seL4_UserTop
This commit removes hard coded KERNEL_RESERVED_START values (which is
mean to represent the last page mappable by user-level) and calculates
the value from seL4_UserTop instead, such that if seL4_UserTop changes
at any point the vspace code will still work.
|
| #
9debe561 |
|
04-Dec-2018 |
Yanyan Shen <yanyan.shen@data61.csiro.au> |
armv8: Define EL2 constants for 44-bit PA.
|
| #
30c9a036 |
|
03-Dec-2018 |
Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> |
AA64: Hyp: The HYP kernel provides a 44-bit userspace vaddrspace range
This patch updates the address that seL4utils thinks is the maximum usable
userspace vaddr.
|
| #
f44c961b |
|
19-Dec-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4utils: Match new kernel PADDR_TOP
The kernel had its PADDR_TOP changed 0x7fffffffffff, this updates the KERNEL_RESERVED_START
definition to match
|
| #
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
|
| #
f95c6156 |
|
23-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
libsel4utils: Add aarch64 support
|
| #
b578b9e7 |
|
22-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
Prepare for aarch64 implementation
|