add the map_kernel_devices of aarch64,but need fix the riscv64 #51
Annotations
4 errors and 2 warnings
test-build (aarch64)
Process completed with exit code 1.
|
sel4-test (qemu-arm-virt)
Process completed with exit code 255.
|
sel4-test (spike)
The job was canceled because "qemu-arm-virt" failed.
|
sel4-test (spike)
The operation was canceled.
|
test-build (aarch64)
unused import: `ffi_call`
|
sel4-test (qemu-arm-virt)
unused import: `ffi_call`
|