Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sel4/refos issues and pull requests
#15 - remove using deprecated include sel4/messages.h
Issue -
State: open - Opened by axel-h over 2 years ago
- 2 comments
#14 - github: style check on diff only for this repo
Pull Request -
State: closed - Opened by lsf37 about 3 years ago
#13 - Update license description
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
#12 - Foundation setup and SPDX license tags
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 1 comment
#11 - Python3 compatibility
Pull Request -
State: closed - Opened by gridbugs over 7 years ago
- 1 comment
#10 - Updated bootinfo handling
Pull Request -
State: closed - Opened by gridbugs over 7 years ago
#9 - Updated to use current seL4 fault api
Pull Request -
State: closed - Opened by gridbugs almost 8 years ago
#8 - Update for ia32 IPC buffer gs to fs switch
Pull Request -
State: closed - Opened by gridbugs almost 8 years ago
#7 - fix issues in doxygen code documentation
Pull Request -
State: closed - Opened by g23-aw about 8 years ago
#6 - change python script to use default python
Pull Request -
State: closed - Opened by g23-aw about 8 years ago
#5 - pae and -O0 builds
Pull Request -
State: closed - Opened by ratmice about 8 years ago
- 1 comment
#4 - Update refos to master
Pull Request -
State: closed - Opened by ratmice about 8 years ago
- 2 comments
#3 - Update RefOS to latest kernel.
Pull Request -
State: closed - Opened by hypernewbie almost 9 years ago
- 1 comment
#2 - Includes missing (uint32_t, size_t)
Issue -
State: closed - Opened by sam1013 about 9 years ago
- 1 comment
#1 - Proposed fix for RefOS compile issue
Pull Request -
State: closed - Opened by jm-- over 9 years ago