sel4/sel4bench issues and pull requests

#49 - sel4bench fails to build on gcc-11

Issue - State: open - Opened by lsf37 5 months ago

#49 - sel4bench fails to build on gcc-11

Issue - State: open - Opened by lsf37 5 months ago

#48 - use KernelFWholeProgram on RISC-V also

Pull Request - State: open - Opened by axel-h 8 months ago
Labels: hw-test

#48 - use KernelFWholeProgram on RISC-V also

Pull Request - State: open - Opened by axel-h 8 months ago
Labels: hw-test

#47 - Remove the IRQ Benchmark

Issue - State: open - Opened by danshea00 8 months ago

#47 - Remove the IRQ Benchmark

Issue - State: open - Opened by danshea00 8 months ago

#46 - CI: cancel older concurrent PR runs

Pull Request - State: closed - Opened by axel-h 8 months ago - 1 comment
Labels: CI

#46 - CI: cancel older concurrent PR runs

Pull Request - State: closed - Opened by axel-h 8 months ago - 1 comment
Labels: CI

#45 - cmake: allow setting NANOPB_SRC_ROOT_FOLDER

Pull Request - State: closed - Opened by axel-h 8 months ago

#45 - cmake: allow setting NANOPB_SRC_ROOT_FOLDER

Pull Request - State: closed - Opened by axel-h 8 months ago

#44 - CI: the seL4/machine_queue repo is public now

Pull Request - State: closed - Opened by axel-h 8 months ago

#44 - CI: the seL4/machine_queue repo is public now

Pull Request - State: closed - Opened by axel-h 8 months ago

#43 - github: Fix index.html path

Pull Request - State: closed - Opened by Indanz 9 months ago

#43 - github: Fix index.html path

Pull Request - State: closed - Opened by Indanz 9 months ago

#42 - github: re-enable performance results deployment

Pull Request - State: closed - Opened by lsf37 9 months ago

#42 - github: re-enable performance results deployment

Pull Request - State: closed - Opened by lsf37 9 months ago

#41 - Question about benchmark results

Issue - State: closed - Opened by ChenYangng 9 months ago - 1 comment

#41 - Question about benchmark results

Issue - State: closed - Opened by ChenYangng 9 months ago - 1 comment

#40 - github: bump actions to node20

Pull Request - State: closed - Opened by lsf37 10 months ago
Labels: CI

#40 - github: bump actions to node20

Pull Request - State: closed - Opened by lsf37 10 months ago
Labels: CI

#39 - Improved page mapping benchmarks

Pull Request - State: open - Opened by alwin-joshy 12 months ago

#39 - Improved page mapping benchmarks

Pull Request - State: open - Opened by alwin-joshy 12 months ago

#38 - dummy PR to run CI test for updating OpenSBI

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

#38 - dummy PR to run CI test for updating OpenSBI

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

#37 - The results are not stable when using sel4bench.

Issue - State: open - Opened by zqyzsj over 1 year ago - 2 comments

#37 - The results are not stable when using sel4bench.

Issue - State: open - Opened by zqyzsj over 1 year ago - 2 comments

#36 - Add documentation for adding a new benchmark

Pull Request - State: closed - Opened by Wal-eed over 1 year ago - 1 comment
Labels: docs

#36 - Add documentation for adding a new benchmark

Pull Request - State: closed - Opened by Wal-eed over 1 year ago - 1 comment
Labels: docs

#35 - How can print log in a process spanwed by benchmark_spawn_process

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

#35 - How can print log in a process spanwed by benchmark_spawn_process

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

#34 - dummy commit

Pull Request - State: closed - Opened by axel-h almost 2 years ago
Labels: hw-test

#34 - dummy commit

Pull Request - State: closed - Opened by axel-h almost 2 years ago
Labels: hw-test

#33 - Early Processing Methodology in More Benchmarks

Pull Request - State: closed - Opened by Courtney3141 about 2 years ago - 10 comments
Labels: hw-test

#33 - Early Processing Methodology in More Benchmarks

Pull Request - State: closed - Opened by Courtney3141 about 2 years ago - 10 comments
Labels: hw-test

#32 - sel4bench build is failing for Quartz64

Issue - State: open - Opened by lsf37 about 2 years ago - 6 comments

#32 - sel4bench build is failing for Quartz64

Issue - State: open - Opened by lsf37 about 2 years ago - 6 comments

#31 - bump action versions

Pull Request - State: closed - Opened by lsf37 about 2 years ago
Labels: CI

#31 - bump action versions

Pull Request - State: closed - Opened by lsf37 about 2 years ago
Labels: CI

#30 - [Ignore] Dummy change for triggering sel4bench tests

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago - 15 comments
Labels: hw-test

#30 - [Ignore] Dummy change for triggering sel4bench tests

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago - 15 comments
Labels: hw-test

#29 - Page-Mapping benchmark error "seL4_Fault_CapFault"

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

#29 - Page-Mapping benchmark error "seL4_Fault_CapFault"

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

#28 - github: provide correct PR branch input

Pull Request - State: closed - Opened by lsf37 over 2 years ago
Labels: CI

#28 - github: provide correct PR branch input

Pull Request - State: closed - Opened by lsf37 over 2 years ago
Labels: CI

#27 - morecore: Use 4k aligned morecore region

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago - 5 comments
Labels: hw-test

#27 - morecore: Use 4k aligned morecore region

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago - 5 comments
Labels: hw-test

#26 - bench/signal: early processing methodology

Pull Request - State: closed - Opened by malus-brandywine over 2 years ago - 37 comments
Labels: enhancement, hw-test

#26 - bench/signal: early processing methodology

Pull Request - State: closed - Opened by malus-brandywine over 2 years ago - 37 comments
Labels: enhancement, hw-test

#25 - bench/risc-v: apps/fault fails to build

Issue - State: open - Opened by malus-brandywine almost 3 years ago - 1 comment

#25 - bench/risc-v: apps/fault fails to build

Issue - State: open - Opened by malus-brandywine almost 3 years ago - 1 comment

#24 - CI action repo checkout python script get-prs can't find github module

Issue - State: closed - Opened by axel-h almost 3 years ago - 3 comments
Labels: CI

#24 - CI action repo checkout python script get-prs can't find github module

Issue - State: closed - Opened by axel-h almost 3 years ago - 3 comments
Labels: CI

#23 - add CI build with clang

Pull Request - State: open - Opened by axel-h almost 3 years ago - 2 comments
Labels: hw-test

#23 - add CI build with clang

Pull Request - State: open - Opened by axel-h almost 3 years ago - 2 comments
Labels: hw-test

#22 - avoid memset warning in apps/sel4bench/src/irq.c

Issue - State: open - Opened by axel-h almost 3 years ago

#22 - avoid memset warning in apps/sel4bench/src/irq.c

Issue - State: open - Opened by axel-h almost 3 years ago

#21 - CI actions should build with clang also

Issue - State: open - Opened by axel-h almost 3 years ago - 4 comments
Labels: enhancement, CI

#21 - CI actions should build with clang also

Issue - State: open - Opened by axel-h almost 3 years ago - 4 comments
Labels: enhancement, CI

#20 - allow user to change bench options - riscv

Pull Request - State: closed - Opened by malus-brandywine almost 3 years ago - 14 comments

#20 - allow user to change bench options - riscv

Pull Request - State: closed - Opened by malus-brandywine almost 3 years ago - 14 comments

#19 - github: enable sel4bench builds + runs for pull requests

Pull Request - State: closed - Opened by lsf37 almost 3 years ago - 1 comment
Labels: CI

#19 - github: enable sel4bench builds + runs for pull requests

Pull Request - State: closed - Opened by lsf37 almost 3 years ago - 1 comment
Labels: CI

#18 - VM fault fastpath new benchmarks

Pull Request - State: open - Opened by alwin-joshy almost 3 years ago - 14 comments
Labels: hw-test

#18 - VM fault fastpath new benchmarks

Pull Request - State: open - Opened by alwin-joshy almost 3 years ago - 14 comments
Labels: hw-test

#17 - Ability to change bench app options for RiscV

Issue - State: open - Opened by malus-brandywine almost 3 years ago - 3 comments

#17 - Ability to change bench app options for RiscV

Issue - State: open - Opened by malus-brandywine almost 3 years ago - 3 comments

#16 - trivial: add default values to app selectors

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

#15 - Add CI action to test PRs to this repo

Issue - State: closed - Opened by axel-h almost 3 years ago - 3 comments
Labels: help wanted

#14 - add cmake script to choose benchmark apps

Pull Request - State: closed - Opened by malus-brandywine almost 3 years ago - 8 comments

#13 - add cmake script to choose benchmark apps

Pull Request - State: closed - Opened by malus-brandywine almost 3 years ago - 1 comment

#12 - VM fault fastpath benchmarks

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

#11 - Delete merged branch spdx

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

#10 - github: deploy benchmark results to web

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

#9 - github: add tx1 to hardware runs

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

#8 - github: add sel4bench deployment action

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

#7 - Remove kzm platform from benchmarks

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

#6 - trace_clearMemory: Add benchmark for clearMemory

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

#5 - SPDX license identifiers and seL4 Foundation setup

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

#4 - riscv: add hardware benchmark support

Pull Request - State: closed - Opened by niwis over 4 years ago - 8 comments

#3 - Test PR 2

Pull Request - State: closed - Opened by LukeMondy over 5 years ago
Labels: Test

#2 - Test PR 1

Pull Request - State: closed - Opened by LukeMondy over 5 years ago
Labels: Test

#1 - Refactor page mapping benchmark

Pull Request - State: closed - Opened by vincenthouyi almost 7 years ago - 7 comments

GitHub / sel4/sel4bench issues and pull requests