vm_arm: remove deprecated config options · seL4/camkes-vm@a7f23e2

Triggered via pull request January 31, 2024 23:28

axel-h

labeled #96

Status Failure

Total duration 1h 34m 40s

Artifacts 3

test.yml

on: pull_request_target

Matrix: Build

Matrix: Hardware

2 errors

Action camkes-vm-hw failed.

Action camkes-vm-hw failed.

Produced during runtime