sel4/sel4test-manifest issues and pull requests

#21 - compilation of latest seL4-test release fails due to old musllibc

Issue - State: open - Opened by wucke13 14 days ago - 1 comment

#20 - update OpenSBI to v1.2

Pull Request - State: closed - Opened by axel-h over 1 year ago - 1 comment

#19 - 12.0.0

Pull Request - State: closed - Opened by Shark7Pepper almost 2 years ago - 1 comment

#18 - Some errors running ia32 test.

Issue - State: closed - Opened by GooTal over 2 years ago - 4 comments

#17 - How run sel4 test on TX2 board?

Issue - State: open - Opened by wjhtinger about 3 years ago - 2 comments

#16 - .github: Disable armv6 tests

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

#15 - use tag instead of raw commit ID for OpenSBI

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

#14 - remove obsolete branches

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

#13 - update OpenSBI to v0.9

Pull Request - State: closed - Opened by axel-h about 3 years ago - 8 comments
Labels: enhancement

#12 - Add GitHub action for sel4test simulations

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

#11 - Update nanopb version to 0.4.3

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

#10 - Update nanopb version to resolve issue with CMake >= 3.17

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

#9 - trivial: fix link

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

#8 - SPDX and Foundation setup

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

#7 - xml: Use OpenSBI instead of BBL

Pull Request - State: closed - Opened by alistair23 about 4 years ago - 14 comments

#6 - ltimer_default_init() undefined for target platform spike and ariane

Issue - State: closed - Opened by niwis almost 5 years ago - 2 comments

#5 - MCS Manifest Does Not Work

Issue - State: closed - Opened by Jesse-Millwood about 6 years ago - 4 comments

#4 - Missing Version 8 Compatible Manifest

Issue - State: closed - Opened by iai-jsaina over 6 years ago - 2 comments
Labels: question

#3 - Fix the missing symbolic link directory for "libsel4sync"

Pull Request - State: closed - Opened by iankuan about 8 years ago - 4 comments

#2 - make: missing the symbolic link for "libsel4sync"

Issue - State: closed - Opened by iankuan about 8 years ago - 1 comment

#1 - README: link broken

Issue - State: closed - Opened by thsutton almost 9 years ago - 2 comments

Ecosyste.ms: Issues

GitHub / sel4/sel4test-manifest issues and pull requests