Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
d9667bbb5875dc4d954f79f7dc07a891cf38ee7c
/
libsel4vka
/
include
/
vka
600fe15
convert to SPDX license headers
by Gerwin Klein
· 4 years ago
1baf531
debug: add helper functions for cap type checking
by Axel Heider
· 4 years, 9 months 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
e9a9ff4
Trivial: Style fix
by Yu Hou
· 5 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
8b8f9f8
libsel4vka: fix format string 32-bit compatability
by James Ye
· 6 years ago
e3c710e
trivial: style and whitespace fixes
by James Ye
· 6 years ago
e3d4d24
libsel4vka: check object type first
by James Ye
· 6 years ago
90d37db
libsel4vka: Fix static inline order in capops.h
by Thibaut Pérami
· 6 years ago
bb21cb1
libsel4vka: add function for setting the receive cap slot with a path
by Thibaut Perami
· 6 years ago
51350af
Initialise the reply cap to empty on non-RT.
by Curtis Millar
· 6 years ago
afdcf26
SELFOUR-1299: vka/riscv - undo seL4_PageDirBits
by Anna Lyons
· 7 years ago
c7e78f2
RISC-V port
by Hesham Almatary
· 9 years ago
08f9b7c
Changes for removal of seL4_CapData_t type in libsel4
by Adrian Danis
· 7 years ago
135c651
pragma once and for all
by Anna Lyons
· 7 years ago
ebe1f1c
Minor fixes for CONFIG_KERNEL_RT
by Anna Lyons
· 7 years ago
ba1db81
Support reply objects in seL4_libs
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
c279354
Removed unnecessary variable initializations
by Jonas Claeson
· 8 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
d1916a9
libsel4vka: Raise fatal errors in vka_cspace_make_path
by Adrian Danis
· 8 years ago
fcfcba9
trivial: fix warnings
by Anna Lyons
· 8 years ago
6db12d3
sel4vka: add + fix checks for non-null functions
by Anna Lyons
· 8 years ago
b4cc548
SELFOUR-807: Add can_use_dev param for frame vka
by Kent McLeod
· 8 years ago
e5e6146
SELFOUR-567: use seL4_CapRights_t
by Anna Lyons
· 8 years ago
d277766
SELFOUR-162: vka - remove recycle, add cancelSends
by Anna Lyons
· 8 years ago
8a2af8b
Correct various printing for 64bit compatibility
by Adrian Danis
· 8 years ago
bb33991
sel4vka: add vka_alloc_*_at
by Anna Lyons
· 8 years ago
077c7c1
Merge pull request #144 in SEL4/sel4_libs from ~ADANIS/sel4_libs:word to master
by Adrian Danis
· 8 years ago
4ed4e0a
Remove assumptions about the 0 paddr being invalid
by Adrian Danis
· 8 years ago
8e24ab1
libsel4vka: Use words for allocation cookies
by Adrian Danis
· 8 years ago
0f440ea
libsel4vka: Add utspace_alloc_at to the vka interface
by Adrian Danis
· 9 years ago
9bee49c
libsel4vka: fixed minor error in comment
by Alexander Wharton
· 8 years ago
a6f2021
sel4vka: add cspacepath_swap
by Anna Lyons
· 9 years ago
9b0f6e2
Remove all references to KERNEL_STABLE
by Anna Lyons
· 9 years ago
7fa84ad
libsel4vka: Refactor object and kobject definitions
by Adrian Danis
· 9 years ago
fd1e94e
libsel4vka: 64-bit compatible types
by Adrian Danis
· 9 years ago
9df67bb
libsel4vka: Put whitespace in-between adjacent string literals.
by Matthew Fernandez
· 9 years ago
0d93c6d
Add 'libsel4vka/' from commit 'ca56b935c0cd53e1bf4c18d09dded8b1cd4fc1b7'
by Anna Lyons
· 9 years ago