Search results

Master 分支的tlb处理问题

Status: Open.

#52 In reL4team2/rel4-integral;

· ZhiyuanSue opened on Mar 11, 2026

seL4bench中没有进入fastpath的问题

Status: Open.

#51 In reL4team2/rel4-integral;

· ZhiyuanSue opened on Jan 8, 2026

feat: hypervisor support

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Feature

#48 In reL4team2/rel4-integral;

· yfblock opened on Nov 17, 2025

optimize: format rust code, refactor with rust style code and clean unsafe|useless code.

Status: Open.

#45 In reL4team2/rel4-integral;

· yfblock opened on Sep 17, 2025

使用了qemu riscvN extern 之后出现的问题

Status: Open.

#41 In reL4team2/rel4-integral;

· ZhiyuanSue opened on Jul 4, 2025

增加了用户态config_have_timer各个配置之后的调度和卡死问题

Status: Open.

#40 In reL4team2/rel4-integral;

· ZhiyuanSue opened on Jun 20, 2025

SCHED_CONTEXT_0014锁死的问题

Status: Open.

#38 In reL4team2/rel4-integral;

· ZhiyuanSue opened on Jun 8, 2025

SCHED0011的bug

Status: Open.

#37 In reL4team2/rel4-integral;

· ZhiyuanSue opened on Jun 8, 2025

SMP 模式下 arm 架构上没有使用 shared pte

Status: Open.

#32 In reL4team2/rel4-integral;

· croakexciting opened on May 24, 2025

SMP 获取节点中字段的 bug

Status: Open.

#29 In reL4team2/rel4-integral;

· croakexciting opened on May 19, 2025