issues
search
seL4
/
capdl
Capability Distribution Language tools for seL4
https://sel4.systems
34
stars
46
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
capdl/capdl-loader-app/src/main.c:1522:27: error: ‘memory_region’ undeclared (first use in this function)
#72
hugusmaximus
opened
2 weeks ago
1
github: switch to maintained haskell-actions/setup
#71
lsf37
closed
1 month ago
0
undyped_gen: remove pyaml dependency
#70
lsf37
closed
1 month ago
0
post-release: Update VERSION file to 0.3-dev
#69
lsf37
closed
2 months ago
0
recreate 0.3-dev release state
#68
lsf37
closed
2 months ago
0
0.3 Release for seL4 13.0.0
#67
lsf37
closed
2 months ago
0
update change log
#66
lsf37
closed
2 months ago
0
find_device_object can be exteremely inefficient
#65
chrisguikema
opened
3 months ago
0
Is a TCB's fault endpoint slot fixed?
#64
Ivan-Velickovic
closed
6 months ago
8
Can't produce a static binary for parse-capDL
#63
Ivan-Velickovic
closed
6 months ago
2
capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs
#62
nspin
closed
2 months ago
5
trivial: Make capitalization more consistent
#61
nspin
closed
2 months ago
0
python-capdl-tool: Remove redundant assignment
#60
nspin
closed
6 months ago
0
github: bump actions to node20
#59
lsf37
closed
7 months ago
0
Replace deprecated pkg_resources usage
#58
hcindyl
closed
2 months ago
2
github: bump GitHub action versions
#57
lsf37
closed
10 months ago
0
capdl-loader-app: Refactor two-phase build design
#56
kent-mcleod
opened
1 year ago
0
python-capdl-tool: Update python3 test scripts
#55
kent-mcleod
closed
1 year ago
3
CONFIG_VTX checked within CONFIG_ARCH_ARM block?
#54
axel-h
opened
1 year ago
1
upgrade GH actions + test python 3.9 in addition to latest python
#53
lsf37
closed
10 months ago
3
aarch64: Minimal update for vspace API change
#52
kent-mcleod
closed
1 year ago
0
object_sizes: Add include for deprecated constants
#51
kent-mcleod
closed
1 year ago
0
capDL-tool: update to LTS Haskell 20.25, ghc-9.2.8
#50
lsf37
closed
1 year ago
0
capdl-loader: use seL4_BootInfoFrameSize
#49
axel-h
closed
1 year ago
1
capdl_spec.c: Remove seL4_libs dependencies from generated spec
#48
kent-mcleod
opened
2 years ago
2
loader mcs: set handler params with TCB syscalls
#47
corlewis
opened
2 years ago
0
Enforce architecture parameter, drop aarch32 as default
#46
axel-h
opened
2 years ago
0
capDL-tool: update GHC version
#45
corlewis
closed
2 years ago
2
capDL-tool: update GHC version
#44
corlewis
closed
2 years ago
1
Support specifying rights for fault handler caps
#43
corlewis
closed
2 years ago
0
capdl-loader-app: use sel4muslcsys_setup_morecore_region()
#42
axel-h
opened
2 years ago
0
capdl-loader-app: ensure heap is aligned
#41
axel-h
closed
2 years ago
0
Cleanup and clarify "arm11" usage despite ARMv6 removal
#40
axel-h
closed
2 years ago
1
ARMv6 is no longer supported by seL4
#39
axel-h
closed
1 month ago
11
trivial: Fix format strings
#38
hlyytine
closed
2 years ago
0
capDL-tool: get ghc802 from old nixpkgs on nixos
#37
sledgehammervampire
closed
2 years ago
19
capDL-tool: actually fix cases in validObjPars
#36
corlewis
closed
2 years ago
0
capDL-tool: fix several cases in validObjPars
#35
corlewis
closed
2 years ago
1
smmuv2: Add ability to specify sid and cb numbers in a cdl file
#34
Apave24
opened
2 years ago
1
SMC Capability
#33
Furao
closed
1 year ago
1
cdl_utils: more PyYaml adjustments
#32
lsf37
closed
2 years ago
0
replace `nose` with newer testing framework
#31
lsf37
closed
1 year ago
0
cdl_utils: provide yaml loader
#30
lsf37
closed
2 years ago
0
cdl_utils: remove unmaintained python library
#29
szhuang
closed
2 years ago
3
github: trigger main test on push to master
#28
lsf37
closed
3 years ago
0
update publication links
#27
lsf37
closed
3 years ago
0
readme: add vulnerability reporting policy
#26
mbrcknl
closed
3 years ago
0
capdl-loader-app: Suppress rv32 overflow warning
#25
kent-mcleod
closed
3 years ago
3
capdl-loader-app RISC-V rv32 warning that left shifts exceed size
#24
axel-h
closed
3 years ago
1
Release 0.2.1
#23
nomadeel
closed
3 years ago
0
Next