Update website/content/en/status/report-2023-04-2023-06/kboot.adoc

Co-authored-by: Pau Amma <[email protected]>
freebsd · Jul 10, 2023 · 3ad7722 · 3ad7722
1 parent 1d28859
commit 3ad7722
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/website/content/en/status/report-2023-04-2023-06/kboot.adoc b/website/content/en/status/report-2023-04-2023-06/kboot.adoc
@@ -8,7 +8,7 @@ link:https://docs.google.com/presentation/d/1N5Jp6XzYWv9Z9RhhETC-e6tFkqRHvp-ldRD
 
 LinuxBoot is an effort to create a clean, robust, auditable and repeatable boot firmware.
 What originally started as a specific project at Google has grown to encompass any boot environment that uses Linux to launch the final operating system.
-Many platfors now support this environment, in some cases it is the only available boot environment.
+Many platforms now support this environment, and in some cases it is the only available boot environment.
 In addition, some embedded boxes have a LinuxBoot environment hard-coded that is quite hard to change, and being able to reboot into FreeBSD is desirable.
 
 The old Sony PlayStation 3 port used a boot loader called 'kboot' to boot the FreeBSD port from its Linux kernel (all predating the LinuxBoot project).