Skip to content
Test Kernel

Merge pull request #47 from rel4team/mi_dev_vspace-5 #145

Sign in to view logs

Merge pull request #47 from rel4team/mi_dev_vspace-5

Merge pull request #47 from rel4team/mi_dev_vspace-5 #145

Triggered via push July 16, 2024 12:16
@ZhiQiu-ovOZhiQiu-ovO
pushed f72f6c0
mi_dev
Status Success
Total duration 4m 2s
Artifacts –

test.yaml

on: push
sel4-test
3m 54s
sel4-test
Matrix: test-build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
sel4-test
The action 'simulate' has timed out after 2 minutes.
test-build (aarch64)
unused import: `super::read_scause`
test-build (aarch64)
unused imports: `RISCVInstructionAccessFault`, `RISCVInstructionPageFault`, `RISCVLoadAccessFault`, `RISCVLoadPageFault`, `RISCVStoreAccessFault`, `RISCVStorePageFault`
test-build (aarch64)
unused imports: `handleUserLevelFault`, `handleVMFaultEvent`
test-build (aarch64)
unused import: `sel4_common::ffi_call`
test-build (aarch64)
unused import: `super::read_stval`
test-build (aarch64)
unused import: `config::*`
test-build (aarch64)
unused macro definition: `msr`
test-build (aarch64)
unused import: `CONFIG_PT_LEVELS`
test-build (aarch64)
unused imports: `invoke_asid_control`, `invoke_asid_pool`, `invoke_page_map`
test-build (aarch64)
unused import: `irqInvalid`