| #
a02fbd08 |
|
09-Oct-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
SELFOUR-161: Remove Remap operation from api
Map can now be used in cases where remap was previously used.
|
| #
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
|
| #
76751d83 |
|
18-Jul-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-114: use new fault type API
|
| #
df98937b |
|
01-Nov-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Abstraction for mapping IO frames and page tables
|
| #
cde762c0 |
|
17-May-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
sel4vspace: add seL4_ARCH_LargePageObject constant
|
| #
9adacd75 |
|
18-Mar-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4vspace: Add huge page size
|
| #
3a9da541 |
|
28-Feb-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
Rationalise dependencies.
This commit removes the dependency of libsel4platsupport on
libsel4utils, as libsel4utils is our top level library and should be
able to use the device drivers that libsel4platsupport provides.
The functionality that libsel4platsupport depended on from libsel4utils
has been moved to libsel4simple, as libsel4simple is basically an
extension of libsel4.
|