| Index: firmware/lib/vboot_kernel.c
|
| diff --git a/firmware/lib/vboot_kernel.c b/firmware/lib/vboot_kernel.c
|
| index 2fbcaa847c68ad16a1f8078be64c7e79bf26840e..87ed8747ce7add1db3d2bb475e468d9d19530151 100644
|
| --- a/firmware/lib/vboot_kernel.c
|
| +++ b/firmware/lib/vboot_kernel.c
|
| @@ -167,7 +167,7 @@ int LoadKernel(LoadKernelParams* params) {
|
|
|
| if (rec_switch)
|
| boot_mode = kBootRecovery;
|
| - else if (BOOT_FLAG_DEV_FIRMWARE & params->boot_flags)
|
| + else if (BOOT_FLAG_DEV_FIRMWARE & params->boot_flags) {
|
| if (!dev_switch) {
|
| /* Dev firmware should be signed such that it never boots with the dev
|
| * switch is off; so something is terribly wrong. */
|
| @@ -176,7 +176,7 @@ int LoadKernel(LoadKernelParams* params) {
|
| goto LoadKernelExit;
|
| }
|
| boot_mode = kBootDev;
|
| - else {
|
| + } else {
|
| /* Normal firmware */
|
| boot_mode = kBootNormal;
|
| dev_switch = 0; /* Always do a fully verified boot */
|
|
|