diff --git a/docs/manual.md b/docs/manual.md index e3a8e912..ffb854f9 100644 --- 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