From 8dfb0964191c0ae71328041bf33237dedfe88570 Mon Sep 17 00:00:00 2001 From: Runxi Yu Date: Sun, 14 Dec 2025 12:16:03 +0800 Subject: [PATCH] Fix arch description for X64 Signed-off-by: Runxi Yu --- projects/sel4/verified-configurations.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/sel4/verified-configurations.md b/projects/sel4/verified-configurations.md index ef85cbcd6b..e0d38f1c56 100644 --- a/projects/sel4/verified-configurations.md +++ b/projects/sel4/verified-configurations.md @@ -205,7 +205,7 @@ The following seL4 RISCV64 platforms are supported by verification: ### Intel x64 (`X64`) {#X64} Configurations that start with `X64` are verified configurations for the -RISC-V 64-bit architecture. +x86-64 architecture. The following features are supported by verification in X64 configurations: