Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
74de7febfdf927d169bc433f736a5c2b8e30725b
/
libsel4simple
10aec57
trivial: Add Arm smmu guard
by Oliver Scott
· 4 years, 5 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
a9034f0
trivial: Fix style
by Damon Lee
· 5 years ago
3466606
platsupport/simple: add per cpu irq support on arm
by Anna Lyons
· 6 years ago
d2af531
trivial: Fix style
by Kent McLeod
· 6 years ago
38a475d
mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS
by Kent McLeod
· 6 years ago
c18523b
replace kernel_autoconf with sel4_autoconf
by Yu Hou
· 6 years ago
4f4c9c2
link kernel_autoconf explicitly
by Yu Hou
· 6 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
daf85a9
sel4platsupport,simple: Use Arm impl on RISC-V
by Kent McLeod
· 6 years ago
423d4e0
trivial: libsel4simple: style fixes
by James Ye
· 6 years ago
017757e
libsel4simple: Add IRQControl_GetTrigger interface
by James Ye
· 6 years ago
ebf723d
libsel4simple: Fix translation of cap numbers to CPtrs
by James Ye
· 6 years ago
6289da1
Kbuild: Removed Kbuild
by Adam Felizzi
· 7 years ago
1697cb1
libsel4simple: Update arch_simple_getIOport_cap on riscv
by Adrian Danis
· 7 years ago
28e2b48
libsel4simple: Correct return type of arch_simple_getIOport_cap on arm
by Adrian Danis
· 7 years ago
fc8600b
New I/O port interface in simple
by Adrian Danis
· 7 years ago
73d9d0a
trivial: guard with pragma once
by Anna Lyons
· 7 years ago
e124a57
RISC-V: Mark UNUSED variables to remove warnings
by Kent McLeod
· 7 years ago
d6b85e7
riscv: fix licenses
by Anna Lyons
· 7 years ago
c7e78f2
RISC-V port
by Hesham Almatary
· 9 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
· 8 years ago
7f0e780
trivial: return a bool in simple_is_untyped_cap
by Anna Lyons
· 8 years ago
3bd8c9d
trivial: use pragma once
by Anna Lyons
· 8 years ago
dbe802b
Add CMake build rules for various libraries
by Adrian Danis
· 8 years ago
e8088af
Add scheduling context support in seL4_libs
by Anna Lyons
· 8 years ago
b52a7c4
Sort files to make build reproducible
by Luke Mondy
· 8 years ago
0016dfc
Fix all the whitespace
by Anna Lyons
· 8 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
b4cc548
SELFOUR-807: Add can_use_dev param for frame vka
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
013a239
libsel4-simple: Remove some unnecessary casts.
by Matthew Fernandez
· 9 years ago
4e33b67
libsel4-simple: Fix missing libutils dependency.
by Matthew Fernandez
· 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
3498bf0
libsel4simple: Update type of get_iospace_fn field
by Stephen Sherratt
· 9 years ago
6965c2a
libsel4simple: add ioapic function to arch-simple
by Anna Lyons
· 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
a949abb
libsel4simple: remove hardcoded cnode size bit
by Yanyan Shen
· 9 years ago
8c57467
Add 'libsel4simple/' from commit '57a0ceec1af0859a8ef58eb24f2c845e2c3b4a9e'
by Anna Lyons
· 9 years ago