| #
135c651f |
|
27-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
pragma once and for all
|
| #
01e07ca0 |
|
31-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Change 1 << * to BIT(*) in some cases
|
| #
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
|
| #
5c029832 |
|
23-Nov-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
sel4utils: add ARCH_SYSCALL_INSTRUCTION_SIZE
|
| #
0f8b16a2 |
|
23-Mar-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4utils: Splitting x86 into ia32 and x86_64 portions
This generalizes various utilities and helper routines as well as
generalizing the mapping code allowing for easy x86_64 support
|
| #
35698b2b |
|
22-Nov-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
x86: fix: Remove erroneous sel4utils_set_arg0.
Closes libsel4utils GINCA #30
|
| #
5133e19b |
|
22-Oct-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
libsel4utils: add sel4utils_get_sp for arm and x86
|