Skip to content

Actions: rel4team/rel4_kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge mi_dev into clean_ffi-1 Test Kernel #158: Commit f5720cf pushed by ZhiyuanSue
July 22, 2024 09:12 4m 50s clean_ffi-1
clean_ffi-1
July 22, 2024 09:12 4m 50s
try to clean the ffi kernel_stack_alloc ksIdleThreadTCB and Arch_fina… Test Kernel #157: Commit def5c36 pushed by ZhiyuanSue
July 22, 2024 09:05 4m 15s clean_ffi-1
clean_ffi-1
July 22, 2024 09:05 4m 15s
Merge pull request #49 from rel4team/kernel-aarch64-sel4test Test Kernel #156: Commit bdc98a2 pushed by ZhiQiu-ovO
July 22, 2024 08:50 4m 26s mi_dev
mi_dev
July 22, 2024 08:50 4m 26s
feat: support aarch64 sel4test Test Kernel #155: Commit 4fa18df pushed by llh730
July 22, 2024 08:40 4m 14s kernel-aarch64-sel4test
kernel-aarch64-sel4test
July 22, 2024 08:40 4m 14s
feat: support aarch64 sel4test Test Kernel #154: Commit f70af3c pushed by yfblock
July 22, 2024 07:19 4m 12s kernel-aarch64-sel4test
kernel-aarch64-sel4test
July 22, 2024 07:19 4m 12s
start finish decode_vspace_root_invocation Test Kernel #153: Commit b74860a pushed by ZhiyuanSue
July 17, 2024 09:19 4m 27s mi_dev_vspace-try-vspace-root
mi_dev_vspace-try-vspace-root
July 17, 2024 09:19 4m 27s
add lots of debug msg Test Kernel #152: Commit 1820cc0 pushed by llh730
July 17, 2024 09:17 4m 44s asid-fix-bugs
asid-fix-bugs
July 17, 2024 09:17 4m 44s
Mi dev vspace 6 (#48) Test Kernel #151: Commit 318ca6f pushed by ZhiyuanSue
July 17, 2024 08:20 4m 13s mi_dev
mi_dev
July 17, 2024 08:20 4m 13s
fix the pde new small Test Kernel #150: Commit 4757f76 pushed by ZhiyuanSue
July 17, 2024 08:11 4m 9s mi_dev_vspace-6
mi_dev_vspace-6
July 17, 2024 08:11 4m 9s
change to the PGDE and rename to the vspaceroot,etc. Test Kernel #149: Commit 5a0ea35 pushed by ZhiyuanSue
July 17, 2024 07:13 4m 24s mi_dev_vspace-6
mi_dev_vspace-6
July 17, 2024 07:13 4m 24s
reconstruct aarch64 asid problem Test Kernel #148: Commit 8af3528 pushed by llh730
July 17, 2024 06:42 4m 34s asid-fix-bugs
asid-fix-bugs
July 17, 2024 06:42 4m 34s
try to adjust the root cap code from PTE to PGDE Test Kernel #147: Commit c1d861e pushed by ZhiyuanSue
July 17, 2024 04:14 4m 16s mi_dev_vspace-6
mi_dev_vspace-6
July 17, 2024 04:14 4m 16s
FIX:ARMMMUInvocation: Invalid top-level PageTable error Test Kernel #146: Commit c672dda pushed by ZhiyuanSue
July 17, 2024 03:28 4m 28s mi_dev
mi_dev
July 17, 2024 03:28 4m 28s
Merge pull request #47 from rel4team/mi_dev_vspace-5 Test Kernel #145: Commit f72f6c0 pushed by ZhiQiu-ovO
July 16, 2024 12:16 4m 2s mi_dev
mi_dev
July 16, 2024 12:16 4m 2s
Merge branch 'mi_dev' into mi_dev_vspace-5 Test Kernel #144: Commit 0e1acd1 pushed by ZhiyuanSue
July 16, 2024 11:57 4m 33s mi_dev_vspace-5
mi_dev_vspace-5
July 16, 2024 11:57 4m 33s
realized the invoke_huge/large/small_page_map Test Kernel #143: Commit e7114b6 pushed by ZhiyuanSue
July 16, 2024 11:55 1m 51s mi_dev_vspace-5
mi_dev_vspace-5
July 16, 2024 11:55 1m 51s
Merge pull request #46 from rel4team/write_it_asid_pool Test Kernel #142: Commit 06b2df9 pushed by ZhiQiu-ovO
July 16, 2024 05:03 4m 6s mi_dev
mi_dev
July 16, 2024 05:03 4m 6s
implement asid_init Test Kernel #141: Commit cf73444 pushed by llh730
July 16, 2024 04:59 4m 12s write_it_asid_pool
write_it_asid_pool
July 16, 2024 04:59 4m 12s
setVMRootForFlush Test Kernel #140: Commit d059a7f pushed by Huzhiwen1208
July 16, 2024 02:50 1m 31s feature/zw-vspace-04
feature/zw-vspace-04
July 16, 2024 02:50 1m 31s
add todo to avoid debug problem :( ... Test Kernel #139: Commit ef169d5 pushed by ZhiyuanSue
July 15, 2024 18:09 4m 10s mi_dev
mi_dev
July 15, 2024 18:09 4m 10s
todo: finish asid_init Test Kernel #138: Commit d876c0e pushed by yfblock
July 15, 2024 17:24 4m 38s mi_dev
mi_dev
July 15, 2024 17:24 4m 38s
Merge branch 'mi_dev_vspace-4' into mi_dev Test Kernel #137: Commit 0484daf pushed by ZhiyuanSue
July 15, 2024 14:36 1m 27s mi_dev
mi_dev
July 15, 2024 14:36 1m 27s
modified bugs due to rename pte_t to PTE Test Kernel #136: Commit 8044dd3 pushed by llh730
July 15, 2024 13:32 4m 9s mi_dev_vspace-4
mi_dev_vspace-4
July 15, 2024 13:32 4m 9s
merge with mi_dev Test Kernel #135: Commit ac96413 pushed by llh730
July 15, 2024 13:01 1m 55s mi_dev_vspace-4
mi_dev_vspace-4
July 15, 2024 13:01 1m 55s
Merge branch 'mi_dev' into mi_dev_vspace-3 Test Kernel #134: Commit c27e5cd pushed by ZhiyuanSue
July 15, 2024 10:22 4m 19s mi_dev_vspace-3
mi_dev_vspace-3
July 15, 2024 10:22 4m 19s