#
10aec573 |
|
26-Oct-2020 |
Oliver Scott <Oliver.Scott@data61.csiro.au> |
trivial: Add Arm smmu guard Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
|
#
93fa27ec |
|
01-Oct-2019 |
Qian Ge <qian.ge@data61.csiro.au> |
API for init SMMU caps Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
|
#
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>
|
#
d2af5318 |
|
21-Aug-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
trivial: Fix style
|
#
38a475de |
|
21-Aug-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS This is to be consistent with the name defined in the kernel.
|
#
ebf723da |
|
02-Dec-2018 |
James Ye <james.ye@data61.csiro.au> |
libsel4simple: Fix translation of cap numbers to CPtrs seL4_CapIOPortControl only exists on x86, while seL4_CapIOSpace only exists on x86 with an IOMMU. Simple does not address these on other configurations. Ensure that this is correctly accounted for on all configurations and architectures.
|
#
fc8600b1 |
|
18-Apr-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
New I/O port interface in simple This changes the simple interface for getting I/O port capabilities to instead of returning a potentially pre-existing capability for an I/O port, the caller provides a location in a cnode to place the requested I/O port. The reason for this change is that I/O ports will soon be being provided from the kernel by a control cap and this design keeps simple as an information interface that does not need to do internal allocation. Rather allocation is only performed explicitly by the caller.
|
#
c1d58e58 |
|
18-Feb-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
simple: Remove arch_info interface `archInfo` has been removed from the kernel and the extended bootinfo is the flexible replacement to it.
|
#
135c651f |
|
27-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
pragma once and for all
|
#
e8088af4 |
|
09-Aug-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Add scheduling context support in seL4_libs Only works if CONFIG_KERNEL_RT is enabled, however most of the code is compiled no mater what to lighten the maintenance burden
|
#
0016dfc6 |
|
13-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix all the whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of files
|
#
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
5f4940e9 |
|
14-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
libsel4simple: add get_extended_bootinfo_length Returns header length of extra bootinfo section
|
#
a1c031b0 |
|
02-Mar-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4simple: Define simple interface for retrieving extended bootinfo information
|
#
7fc0a37f |
|
22-Feb-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
libsel4simple: Add get_arch_info function
|
#
bd400737 |
|
29-Nov-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler
|
#
8fcc5051 |
|
16-Nov-2016 |
amrzar <azarrabi@nicta.com.au> |
simple: add core count callback to simpel-default
|
#
d0b77659 |
|
02-Mar-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4simple: Remove 32-bit size assumptions
|
#
f0307327 |
|
18-Feb-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
SELFOUR-421 Handle updated bootinfo with device untypeds Updates the simple-default implementation, and libsel4debug, to handle the removal of device frames and addition of device untypeds to bootinfo.
|
#
ac8a5f53 |
|
27-May-2016 |
Yanyan Shen <yanyan.shen@nicta.com.au> |
libsel4simple: support for ARM IOSpace caps
|
#
75b17559 |
|
20-Apr-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
libsel4simple: Use arch_simple to access iospace
|
#
443daa72 |
|
19-Apr-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
sel4simple: add arch specific interface This commit defines arch_simple_t, which adds arch specific functions to libsel4simple and its implementors, as the seL4 API no longer allows simple implementation to be architecture agnostic, specifically for the interrupt handling interface. This commit adds the x86 arch interface which defines functions for getting irqs, msis and ioports, and the arm interface which just defines irqs. libsel4simple-stable has been updated to implement the new interface and users should not be effected. However, other implementations of simple will need to be updated. libsel4platsupport has been updated such that the hpet driver wrapper now works with the lastest seL4 kernel.
|
#
a875ddae |
|
06-Apr-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
libsel4simple: Return InvalidArgument in wrappers Functions wrapping syscalls return the seL4_Error value seL4_InvalidArgument rather than -1.
|
#
66620f31 |
|
05-Apr-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
sel4simple: clean up Report errors when functions don't exist rather than assert failing. This stops threads from faulting in release mode where assert isn't defined. Also run make style for some consistency.
|