Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
7e93207f5d852a3ca3ed4a6f2eb534f23fddba4d
/
libsel4vspace
600fe15
convert to SPDX license headers
by Gerwin Klein
· 4 years ago
0182d5e
sperating tx2_smmu from arm_smmu
by Qian Ge
· 5 years ago
56edd6b
trivial: Fix compiler warnings
by Kent McLeod
· 4 years, 6 months ago
a02fbd0
SELFOUR-161: Remove Remap operation from api
by Kent McLeod
· 5 years ago
3c74117
sel4vspace: Deferred rights reservation mapping
by Alison Felizzi
· 5 years ago
589686f
vspace: update for 40-bit-PA + hyp
by Anna Lyons
· 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
be07076
sel4utils: s/CONFIG_IOMMU/CONFIG_ARM_SMMU
by Anna Lyons
· 6 years ago
56e3c70
sel4utils: fix mapping.c for ept
by Anna Lyons
· 6 years ago
39d5a11
libsel4utils: fix compile errors in mapping.c
by Anna Lyons
· 6 years ago
b2dca65
trivial: style changed files
by Anna Lyons
· 6 years ago
d4b7796
vspace: extend map object to io and ept structures
by Anna Lyons
· 7 years ago
3ffef85
vspace: add page map fn type and iospace wrapper
by Anna Lyons
· 7 years ago
eb28bbb
libsel4vspace: add ARCHPageGetAddress for riscv
by Kent McLeod
· 6 years ago
a61cb53
sel4vspace: Style include/vspace/vspace.h
by A Felizzi
· 6 years ago
a987344
sel4vspace: Style libsel4vspace/src/vspace.c
by A Felizzi
· 6 years ago
a8db116
sel4vspace: Enable sharing of mem range 0x0-0x1000
by A Felizzi
· 6 years ago
9a4759f
sel4vspace: Page access with callback function
by Adam Felizzi
· 6 years ago
11062d0
trivial: style CMakeLists.txt files
by Kent McLeod
· 6 years ago
a0f9cba
vspace: Add missing RISC-V aliases
by Kent McLeod
· 6 years ago
6289da1
Kbuild: Removed Kbuild
by Adam Felizzi
· 6 years ago
784574b
libsel4vspace: Provide arm_hyp implementation
by Adrian Danis
· 7 years ago
00a7334
libsel4vspace: Correct function type
by Adrian Danis
· 7 years ago
ca452fd
vspace: add mapping abstraction
by Anna Lyons
· 7 years ago
73d9d0a
trivial: guard with pragma once
by Anna Lyons
· 7 years ago
ca0d0c5
riscv: use correct config
by Anna Lyons
· 7 years ago
d6b85e7
riscv: fix licenses
by Anna Lyons
· 7 years ago
c7e78f2
RISC-V port
by Hesham Almatary
· 9 years ago
135c651
pragma once and for all
by Anna Lyons
· 7 years ago
dbe802b
Add CMake build rules for various libraries
by Adrian Danis
· 8 years ago
ba7468b
SELFOUR-1053: Invoke VMM layer directly in vpsace_[new/map]_pages()
by Kofi Doku Atuah
· 7 years ago
b52a7c4
Sort files to make build reproducible
by Luke Mondy
· 7 years ago
4840caf
sel4vspace: Add function to calculate page bits
by Kent McLeod
· 8 years ago
0016dfc
Fix all the whitespace
by Anna Lyons
· 8 years ago
a314154
vspace_new_pages: New configuration behavior
by Kent McLeod
· 8 years ago
01e07ca
Change 1 << * to BIT(*) in some cases
by Kent McLeod
· 8 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
ac2a613
libsel4vspace: Add aarch64 support
by amrzar
· 8 years ago
e5e6146
SELFOUR-567: use seL4_CapRights_t
by Anna Lyons
· 9 years ago
76751d8
SELFOUR-114: use new fault type API
by Anna Lyons
· 9 years ago
df98937
Abstraction for mapping IO frames and page tables
by Adrian Danis
· 8 years ago
19a9bd5
sel4vspace: Fix typo in comment
by Stephen Sherratt
· 8 years ago
b89aea2
sel4[utils|vspace] handle 0 sized stacks
by Anna Lyons
· 9 years ago
0c3ed2a
sel4vspace: allow custom stack size
by Anna Lyons
· 9 years ago
fffdcbb
libsel4vspace: Remove deprecated x86_64 directory
by Adrian Danis
· 9 years ago
cde762c
sel4vspace: add seL4_ARCH_LargePageObject constant
by Anna Lyons
· 9 years ago
a8520fc
Fix missing license header.
by Matthew Fernandez
· 9 years ago
1c0086b
trivial: fix warnings in release builds
by Anna Lyons
· 9 years ago
6a08801
libsel4vspace: add missing return statements
by Anna Lyons
· 9 years ago
9adacd7
libsel4vspace: Add huge page size
by Adrian Danis
· 9 years ago
c8dfae0
libsel4vspace: Add check
by Adrian Danis
· 9 years ago
11327b2
libsel4vspace: Remove 32-bit assumptions in printing
by Adrian Danis
· 9 years ago
1f99178
libsel4vspace: Make cookies pointer sized, not 32-bit
by Adrian Danis
· 9 years ago
0be4150
libsel4utils: Correct check for contiguous page sizes
by Adrian Danis
· 9 years ago
3a9da54
Rationalise dependencies.
by Anna Lyons
· 9 years ago
042bd89
libsel4utils: Import page.h definitions from libutils
by Adrian Danis
· 9 years ago
ffca80b
libsel4vspace: trivial - fix warnings
by Anna Lyons
· 9 years ago
f0373fe
libsel4vspace/utils: use uinptr_t instead of doing undefined void * arithmetic
by Anna Lyons
· 9 years ago
e8fe4a9
Add 'libsel4vspace/' from commit 'd301d47bebf9de5f9a3fc1e89d88b65683c8cb3e'
by Anna Lyons
· 9 years ago