Скомпилируйте и запустите SEL4 для aarch64 на qemu

NoSuchKey

рекомендация

отblog.csdn.net/weixin_47139576/article/details/131537966