Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
14d3c94f5164c993033a35a5d9e23ba6dcf12f5f
/
libsel4simple
/
include
/
simple
600fe15
convert to SPDX license headers
by Gerwin Klein
· 4 years ago
10aec57
trivial: Add Arm smmu guard
by Oliver Scott
· 4 years, 3 months ago
93fa27e
API for init SMMU caps
by Qian Ge
· 5 years ago
0182d5e
sperating tx2_smmu from arm_smmu
by Qian Ge
· 5 years ago
d2af531
trivial: Fix style
by Kent McLeod
· 5 years ago
38a475d
mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS
by Kent McLeod
· 5 years ago
ebf723d
libsel4simple: Fix translation of cap numbers to CPtrs
by James Ye
· 6 years ago
fc8600b
New I/O port interface in simple
by Adrian Danis
· 7 years ago
c1d58e5
simple: Remove arch_info interface
by Adrian Danis
· 7 years ago
135c651
pragma once and for all
by Anna Lyons
· 7 years ago
c7c73c9
sel4simple: remove simple_copy_caps
by Anna Lyons
· 7 years ago
7f0e780
trivial: return a bool in simple_is_untyped_cap
by Anna Lyons
· 7 years ago
3bd8c9d
trivial: use pragma once
by Anna Lyons
· 7 years ago
e8088af
Add scheduling context support in seL4_libs
by Anna Lyons
· 7 years ago
0016dfc
Fix all the whitespace
by Anna Lyons
· 7 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
5f4940e
libsel4simple: add get_extended_bootinfo_length
by Kent McLeod
· 8 years ago
a1c031b
libsel4simple: Define simple interface for retrieving extended bootinfo information
by Adrian Danis
· 8 years ago
7fc0a37
libsel4simple: Add get_arch_info function
by Kent McLeod
· 8 years ago
bd40073
SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler
by Adrian Danis
· 8 years ago
8fcc505
simple: add core count callback to simpel-default
by amrzar
· 8 years ago
d0b7765
libsel4simple: Remove 32-bit size assumptions
by Adrian Danis
· 9 years ago
f030732
SELFOUR-421 Handle updated bootinfo with device untypeds
by Adrian Danis
· 9 years ago
ac8a5f5
libsel4simple: support for ARM IOSpace caps
by Yanyan Shen
· 9 years ago
75b1755
libsel4simple: Use arch_simple to access iospace
by Stephen Sherratt
· 9 years ago
443daa7
sel4simple: add arch specific interface
by Anna Lyons
· 9 years ago
a875dda
libsel4simple: Return InvalidArgument in wrappers
by Stephen Sherratt
· 9 years ago
66620f3
sel4simple: clean up
by Anna Lyons
· 9 years ago
8c57467
Add 'libsel4simple/' from commit '57a0ceec1af0859a8ef58eb24f2c845e2c3b4a9e'
by Anna Lyons
· 9 years ago