Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sel4/capdl issues and pull requests
#18 - Capdl 0.2.0
Pull Request -
State: closed - Opened by oliver-wm over 4 years ago
- 4 comments
#17 - October release capdl-0.2.0
Pull Request -
State: closed - Opened by oliver-wm over 4 years ago
- 1 comment
#16 - capdl-loader-app: improve log output
Pull Request -
State: closed - Opened by axel-h over 4 years ago
- 5 comments
#15 - capdl-loader-app: fix link in readme
Pull Request -
State: closed - Opened by axel-h over 4 years ago
#14 - cmake: use SEL4_CMAKE_TOOL_DIR for PLATFORM_SIFT
Pull Request -
State: closed - Opened by axel-h over 4 years ago
- 11 comments
#13 - Trivial: Fix Python syntax warnings when capdl_linker.py is invoked
Pull Request -
State: closed - Opened by ddddavidmartin over 4 years ago
- 5 comments
#12 - capDL-tool, capdl-loader-app: add vcpu support for aarch64
Pull Request -
State: closed - Opened by nspin over 4 years ago
- 25 comments
Labels: enhancement
#11 - capdl-loader-app: apply irq notification badge
Pull Request -
State: closed - Opened by nspin over 4 years ago
- 14 comments
#10 - improve printouts
Pull Request -
State: closed - Opened by axel-h almost 5 years ago
- 3 comments
#9 - capdl-loader-app code and output improvements
Pull Request -
State: closed - Opened by axel-h about 5 years ago
- 3 comments
#8 - capDL: updates for smmuv2 functionality
Pull Request -
State: closed - Opened by chrisguikema over 5 years ago
- 2 comments
Labels: enhancement, help wanted
#7 - Run pylint3 --errors-only and fix changes
Pull Request -
State: closed - Opened by pingerino over 5 years ago
- 1 comment
#6 - disable YAML loading warning
Pull Request -
State: closed - Opened by cvluca over 5 years ago
- 1 comment
#5 - Update vspace structure when starting at level 1
Pull Request -
State: closed - Opened by chrisguikema almost 6 years ago
- 5 comments
#4 - Port to ghc-8.6.3
Pull Request -
State: closed - Opened by duog about 6 years ago
- 4 comments
#3 - Fixes for RT Kernel
Pull Request -
State: closed - Opened by chrisguikema about 6 years ago
- 9 comments
Labels: bug
#2 - Failed to setup the stack in Debian Stretch
Issue -
State: closed - Opened by decaprox about 7 years ago
- 1 comment
#1 - Changes to support building on both ghc 7.8 and ghc 7.10
Pull Request -
State: closed - Opened by dagit almost 9 years ago