Skip to content

Actions: reL4team2/sel4_common

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

git subrepo pull (merge) sel4_common push-to-integral-repo #35: Commit 9974810 pushed by Huzhiwen1208
7s master
master
7s
git subrepo pull (merge) sel4_common push-to-integral-repo #34: Commit a8fc2cc pushed by Huzhiwen1208
9s master
master
9s
feat: format and collect code push-to-integral-repo #33: Commit 608c1bd pushed by Huzhiwen1208
37s master
master
37s
fix the mcs in ipi_stall_core_cb that lead to the multicore0003 fail push-to-integral-repo #32: Commit 6908798 pushed by Huzhiwen1208
8s master
master
8s
fix the smp arch_decode_irq_control_invocation push-to-integral-repo #31: Commit c37170d pushed by Huzhiwen1208
12s master
master
12s
fix the find time after bug push-to-integral-repo #30: Commit 87a6787 pushed by Huzhiwen1208
7s master
master
7s
Merge pull request #34 from reL4team2/croak/optimize_log push-to-integral-repo #29: Commit d40725f pushed by Huzhiwen1208
9s master
master
9s
完成 smp mcs 耦合功能的移植 (#30) push-to-integral-repo #28: Commit a882408 pushed by Huzhiwen1208
13s master
master
13s
增加 smp 相关的锁、ipi 通信等底层代码，完成 nomcs 模式的 smp 开发 (#25) push-to-integral-repo #27: Commit e8090bb pushed by Huzhiwen1208
8s master
master
8s
use smc instead of hvc (#26) push-to-integral-repo #26: Commit ae11250 pushed by Huzhiwen1208
10s master
master
10s
Basic Fmt (#24) push-to-integral-repo #25: Commit 750f3f0 pushed by Huzhiwen1208
7s master
master
7s
Migrate smp code, now smp can pass riscv and aarch64 smp testcase rel… push-to-integral-repo #24: Commit 66d5358 pushed by Huzhiwen1208
9s master
master
9s
fix the idle thread add offset bug push-to-integral-repo #23: Commit 461d3aa pushed by Huzhiwen1208
7s master
master
7s
fix the tcb bits of riscv64 and fix some bugs and restore the ci push-to-integral-repo #22: Commit d320609 pushed by Huzhiwen1208
12s master
master
12s
fix the lib mode riscv build push-to-integral-repo #21: Commit af29d6b pushed by Huzhiwen1208
6s master
master
6s
清理重构 reL4 中的配置常量 (#16) push-to-integral-repo #20: Commit c2a887f pushed by Huzhiwen1208
10s master
master
10s
try to add the riscv64 fpu code push-to-integral-repo #19: Commit b669ef7 pushed by Huzhiwen1208
7s master
master
7s
use new way to load and store the fpu state push-to-integral-repo #18: Commit 0a31c73 pushed by Huzhiwen1208
9s master
master
9s
优化了 rel4 的配置系统，将一部分 const 变量改成配置生成 (#15) push-to-integral-repo #17: Commit c0d5699 pushed by Huzhiwen1208
8s master
master
8s
update the rel4_kernel_kit test push-to-integral-repo #16: Commit cc41137 pushed by Huzhiwen1208
7s master
master
7s
优化 bf 生成 code 的过程 (#14) push-to-integral-repo #15: Commit de83310 pushed by Huzhiwen1208
12s master
master
12s
change the arm virt cntv tval value to speed up the test push-to-integral-repo #14: Commit dbc4413 pushed by Huzhiwen1208
8s master
master
8s
upgrade rel4 build system to v2 (#11) push-to-integral-repo #13: Commit e3eeb8a pushed by Huzhiwen1208
16s master
master
16s
use edge trigger rather then level trigger push-to-integral-repo #12: Commit 79e9549 pushed by Huzhiwen1208
12s master
master
12s
add cargo rerun of sel4_common push-to-integral-repo #11: Commit 0687d31 pushed by Huzhiwen1208
7s master
master
7s