issues
search
rel4team
/
rel4_kernel
7
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
FIX fastpath_restore
#54
ZhiyuanSue
opened
1 week ago
1
FIx transmute
#53
ZhiyuanSue
opened
3 weeks ago
1
remove all warnings in build stage
#52
ZhiQiu-ovO
closed
1 month ago
0
clean aarch64 restore_user_context
#51
ZhiyuanSue
closed
1 month ago
0
Clean ffi 1
#50
ZhiyuanSue
closed
1 month ago
0
feat: support aarch64 sel4test
#49
ZhiQiu-ovO
closed
1 month ago
0
Mi dev vspace 6
#48
ZhiyuanSue
closed
1 month ago
0
Mi dev vspace 5
#47
ZhiQiu-ovO
closed
1 month ago
0
implement asid_init
#46
ZhiQiu-ovO
closed
1 month ago
0
setVMRootForFlush
#45
Huzhiwen1208
closed
1 month ago
0
rel4 支持 aarch64 microkit，并通过 demo
#44
yfblock
opened
1 month ago
1
39 vspace 1
#43
ZhiQiu-ovO
closed
1 month ago
0
implement some functions in sel4_vspace
#42
ZhiQiu-ovO
closed
2 months ago
0
implement map_it_pt_cap
#41
ZhiQiu-ovO
closed
2 months ago
0
将 mi_dev 分支进行模块化，拆分 crates 到不同的仓库中
#40
yfblock
opened
2 months ago
1
VSpace 具体细分的相关方法移植1
#39
llh730
closed
1 month ago
5
Mi dev llh
#38
llh730
closed
2 months ago
0
merge
#37
ZhiyuanSue
closed
2 months ago
0
#35 CI: Test aarch64 compile
#36
yfblock
closed
2 months ago
0
写完整编译CI测例
#35
yfblock
closed
2 months ago
1
修改 rust-sel4 中的 kernel-loader，支持没有 HypervisorSupport 支持的情况
#34
yfblock
opened
2 months ago
2
尝试验证test的状态，并进行可能的修改
#33
yfblock
opened
2 months ago
3
Mi dev llh
#32
yfblock
closed
2 months ago
0
Fix mi_dev_zy Panic and Rusty ArchTCB
#31
yfblock
closed
2 months ago
0
修复 mi_dev_zy 中新出现的 panic 并且 完善CI
#30
yfblock
closed
2 months ago
0
change registers
#29
ZhiyuanSue
closed
2 months ago
0
feat: merge feature/doc to mi_dev, add doc in {ipc, task, common}
#28
Huzhiwen1208
closed
2 months ago
0
修改rel4中tcbArch的register格式，采用polyhal中TrapFrameArgs的格式
#27
llh730
opened
2 months ago
1
Sel4_Common and aarch64 partial support
#26
ZhiyuanSue
closed
2 months ago
0
合并 ipc,task,common 的文档到 mi_dev 分支
#25
yfblock
closed
2 months ago
2
通过编译：未定义符号补全，代码整理
#24
yfblock
opened
2 months ago
8
VSpace aarch64 相关方法移植
#23
llh730
opened
2 months ago
6
try to sort the arch_init_freemem
#22
ZhiyuanSue
closed
2 months ago
0
several changes to remove debug info for display
#21
BIT-CWH
closed
3 months ago
0
update newbuffer using lock-free structure
#20
CtrlZ233
closed
3 months ago
0
Fpga test
#19
CtrlZ233
closed
3 months ago
0
add riscv page series syscall
#18
BIT-CWH
closed
4 months ago
0
2024-4-30-change async cnode syscall decode flow
#17
BIT-CWH
closed
4 months ago
0
translate several async syscall, 2024-4-28
#16
BIT-CWH
closed
4 months ago
0
uintr_test fail
#15
CtrlZ233
closed
3 months ago
1
change async syscall handler and add wake syscall handler
#14
BIT-CWH
closed
4 months ago
0
Smp dev
#13
CtrlZ233
closed
7 months ago
0
Ldh dev
#12
CtrlZ233
closed
12 months ago
0
[restructure]Splite Cspace as a crate
#11
CtrlZ233
closed
1 year ago
0
remove all warnings
#10
llh730
closed
1 year ago
0
modify README.md
#9
llh730
closed
1 year ago
0
fix bugs in fastpath
#8
llh730
closed
1 year ago
0
rebuild boot code
#7
CtrlZ233
closed
1 year ago
0
add fast path
#6
llh730
closed
1 year ago
0
Integrating Compilation Options Together
#5
CtrlZ233
closed
1 year ago
0
Next