manual: clarify Ariane OpenSBI version

Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Nov 1, 2024 · 0adfaa8 · 0adfaa8
1 parent 8348781
commit 0adfaa8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/manual.md b/docs/manual.md
@@ -969,7 +969,7 @@ If you are booting from U-Boot, use the following command to start the system im
     => go 0x90000000
 
 Note that the OpenSBI version from the CVA6 SDK at the time of writing has issues when
-booting.
+booting. It is recommended to use the mainline OpenSBI.
 
 ## Adding Platform Support