Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sel4/camkes issues and pull requests

#28 - drop support for Cogent

Pull Request - State: closed - Opened by lsf37 over 1 year ago

#28 - drop support for Cogent

Pull Request - State: closed - Opened by lsf37 over 1 year ago

#27 - Native networking example under QEMU

Issue - State: open - Opened by protoben almost 2 years ago

#27 - Native networking example under QEMU

Issue - State: open - Opened by protoben almost 2 years ago

#26 - Turn on KernelExportPMCUser in picotcp apps

Pull Request - State: open - Opened by protoben almost 2 years ago - 1 comment

#26 - Turn on KernelExportPMCUser in picotcp apps

Pull Request - State: open - Opened by protoben almost 2 years ago - 1 comment

#25 - Lwip echoserver

Pull Request - State: open - Opened by lucypa over 2 years ago - 3 comments

#24 - github: add simulation tests for camkes + VMs

Pull Request - State: closed - Opened by lsf37 almost 3 years ago

#23 - mutex: Tweak example output for test stability

Pull Request - State: closed - Opened by kent-mcleod almost 3 years ago

#23 - mutex: Tweak example output for test stability

Pull Request - State: closed - Opened by kent-mcleod almost 3 years ago

#22 - PicoServer App - get_sender_id() returning wrong value

Issue - State: open - Opened by samikool about 3 years ago

#22 - PicoServer App - get_sender_id() returning wrong value

Issue - State: open - Opened by samikool about 3 years ago

#21 - App debug-simple cannot run.

Issue - State: open - Opened by JunJianX about 3 years ago

#20 - Remove support for ARMv6 and KZM/imx31

Pull Request - State: closed - Opened by kent-mcleod about 3 years ago

#20 - Remove support for ARMv6 and KZM/imx31

Pull Request - State: closed - Opened by kent-mcleod about 3 years ago

#19 - github: trigger main test on push to master

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#18 - picoserver: Create settings.cmake

Pull Request - State: closed - Opened by kent-mcleod over 3 years ago - 1 comment

#18 - picoserver: Create settings.cmake

Pull Request - State: closed - Opened by kent-mcleod over 3 years ago - 1 comment

#17 - do branch maintenance

Issue - State: closed - Opened by axel-h over 3 years ago - 3 comments

#16 - SPDX tags and Foundation setup

Pull Request - State: closed - Opened by lsf37 almost 4 years ago - 6 comments

#15 - Picoserver application not building for zynq7000

Issue - State: closed - Opened by no00237 about 4 years ago - 3 comments

#14 - trivial: Declare RUMPRUN_PATH in settings.cmake

Pull Request - State: closed - Opened by kent-mcleod about 4 years ago - 3 comments

#13 - ridale/lwip

Pull Request - State: open - Opened by ridale over 4 years ago - 4 comments
Labels: help wanted

#12 - mutex: Declare connector with new syntax

Pull Request - State: closed - Opened by kent-mcleod almost 5 years ago - 3 comments

#11 - Enable aarch32 and fix for aarch64

Pull Request - State: closed - Opened by ridale almost 5 years ago - 4 comments

#10 - Change to allow aarch64 rust builds

Pull Request - State: closed - Opened by ridale about 5 years ago - 3 comments

#9 - changes for generic imx8m

Pull Request - State: closed - Opened by ridale about 5 years ago - 1 comment

#8 - Simple application build not progressing

Issue - State: closed - Opened by Ben-PH about 5 years ago - 5 comments

#7 - Allows imx8mm camkes work

Pull Request - State: closed - Opened by ridale about 5 years ago - 9 comments

#6 - Update hellorust application to use std library, remove Cargo.lock an…

Pull Request - State: closed - Opened by podhrmic over 6 years ago - 5 comments
Labels: help wanted

#5 - Add vgatest app

Pull Request - State: closed - Opened by podhrmic about 7 years ago - 1 comment

#4 - Add a simple rumpkernel + rust application

Pull Request - State: closed - Opened by podhrmic over 7 years ago - 5 comments

#3 - Update aeroplage app

Pull Request - State: closed - Opened by podhrmic over 7 years ago - 1 comment

#2 - configs are no longer working

Issue - State: closed - Opened by juli1 over 8 years ago - 2 comments

#1 - reserved identifier violation

Issue - State: open - Opened by elfring over 10 years ago - 9 comments