Skip to content

Actions: rel4team/rel4_kernel

Actions

Test Kernel

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
189 workflow runs
189 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

clean aarch64 restore_user_context Test Kernel #168: Commit a5d51e6 pushed by ZhiyuanSue
July 26, 2024 06:34 1m 40s clean_ffi-2
clean_ffi-2
July 26, 2024 06:34 1m 40s
try to finish the clean_by_va_pou todos Test Kernel #167: Commit d10630a pushed by ZhiyuanSue
July 26, 2024 01:35 4m 11s todos-1
todos-1
July 26, 2024 01:35 4m 11s
try again... Test Kernel #166: Commit b688708 pushed by ZhiyuanSue
July 25, 2024 05:49 1m 37s clean_ffi-1
clean_ffi-1
July 25, 2024 05:49 1m 37s
try fix undecided qemu problem Test Kernel #165: Commit c97071b pushed by ZhiyuanSue
July 25, 2024 05:42 1m 49s clean_ffi-1
clean_ffi-1
July 25, 2024 05:42 1m 49s
try to add the test-sel4 aarch64 Test Kernel #164: Commit ab56576 pushed by ZhiyuanSue
July 25, 2024 05:36 1m 45s clean_ffi-1
clean_ffi-1
July 25, 2024 05:36 1m 45s
Clean ffi 1 (#50) Test Kernel #163: Commit 4a6c6e9 pushed by ZhiyuanSue
July 25, 2024 04:46 1m 22s mi_dev
mi_dev
July 25, 2024 04:46 1m 22s
decode_vspace_root_invocation Test Kernel #162: Commit 5c80478 pushed by ZhiyuanSue
July 25, 2024 04:32 1m 59s clean_ffi-1
clean_ffi-1
July 25, 2024 04:32 1m 59s
change some function from pte to pgde Test Kernel #161: Commit daa12da pushed by ZhiyuanSue
July 25, 2024 02:20 1m 39s clean_ffi-1
clean_ffi-1
July 25, 2024 02:20 1m 39s
remove all log::warn , exists bugs Test Kernel #160: Commit bf0a596 pushed by llh730
July 22, 2024 17:27 4m 28s remove-warning
remove-warning
July 22, 2024 17:27 4m 28s
try to let it pass Test Kernel #159: Commit 964d860 pushed by ZhiyuanSue
July 22, 2024 09:44 4m 20s clean_ffi-1
clean_ffi-1
July 22, 2024 09:44 4m 20s
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